@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}
}

{"_id":{"_str":"5201d867d40bcbb041000a4d"},"__v":8,"authorIDs":["5456e8af8b01c81930000051"],"author_short":["Frisch, A. M."],"bibbaseid":"frisch-usingmodeltheorytospecifyaiprograms-1985","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alan","M."],"propositions":[],"lastnames":["Frisch"],"suffixes":[]}],"title":"Using Model Theory to Specify AI Programs","booktitle":"IJCAI-85","month":"August","pages":"148-154","year":"1985","bibtex":"@inproceedings{ Frisch/85/Using,\n author = {Alan M. Frisch},\n title = {Using Model Theory to Specify AI Programs},\n booktitle = {IJCAI-85},\n month = {August},\n pages = {148-154} ,\n year = {1985}\n}\n\n\n","author_short":["Frisch, A. M."],"key":"Frisch/85/Using","id":"Frisch/85/Using","bibbaseid":"frisch-usingmodeltheorytospecifyaiprograms-1985","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwcsyorkacukfrischkrrgbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["using","model","theory","specify","programs","frisch"],"title":"Using Model Theory to Specify AI Programs","title_words":["using","model","theory","specify","programs"],"year":1985,"dataSources":["aWoXKdFNdx2gZ47qg"]}