@ARTICLE{
author={Hart Brad,Sokolovic Zeljko,Tanovic Predrag N},
year={1999},
title={A note on a-prime models},
journal={JOURNAL OF SYMBOLIC LOGIC},
volume={64},
number={4},
pages={1557-1562},
document_type={Article},
}