Using Model Theory to Specify AI Programs. Frisch, A. M. In IJCAI-85, pages 148-154, August, 1985.
bibtex   
@inproceedings{ Frisch/85/Using,
  author    = {Alan M. Frisch},
  title     = {Using Model Theory to Specify AI Programs},
  booktitle   = {IJCAI-85},
  month   = {August},
  pages   = {148-154} ,
  year   = {1985}
}

Downloads: 0