@article{saye:anat07,
  author	= {Tarek Sayed Ahmed},
  title		= {An atomic theory with no prime models},
  journal	= {The Australasian Journal of Logic},
  year		= 2007,
  volume	= 5,
  pages		= {85-88},
  URL		= {http://www.philosophy.unimelb.edu.au/ajl/2007/},
}