An Overview of the HORNE Logic Programming System. Frisch, A. M., Allen, J. F., & Giuliano, M. E. SIGART Newsletter, April, 1983. Also appears in \em Logic Programming Newsletter, No. 5, Winter, 1983/4.bibtex @article{ Frisch+Allen+Giuliano/83/Overview,
author = {Alan M. Frisch and James F. Allen and Mark E. Giuliano},
title = {An Overview of the HORNE Logic Programming System},
journal = {SIGART Newsletter},
month = {April},
note = {Also appears in {\em Logic Programming Newsletter}, No. 5, Winter, 1983/4.},
pages = {27-29},
number = {84} ,
year = {1983}
}
Downloads: 0
{"_id":{"_str":"51f7daf359ced8df44001aa3"},"__v":12,"authorIDs":["5456e8af8b01c81930000051","545942b0b43425b7720003f3"],"author_short":["Frisch, A. M.","Allen, J. F.","Giuliano, M. E."],"bibbaseid":"frisch-allen-giuliano-anoverviewofthehornelogicprogrammingsystem-1983","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alan","M."],"propositions":[],"lastnames":["Frisch"],"suffixes":[]},{"firstnames":["James","F."],"propositions":[],"lastnames":["Allen"],"suffixes":[]},{"firstnames":["Mark","E."],"propositions":[],"lastnames":["Giuliano"],"suffixes":[]}],"title":"An Overview of the HORNE Logic Programming System","journal":"SIGART Newsletter","month":"April","note":"Also appears in \\em Logic Programming Newsletter, No. 5, Winter, 1983/4.","pages":"27-29","number":"84","year":"1983","bibtex":"@article{ Frisch+Allen+Giuliano/83/Overview,\n author = {Alan M. Frisch and James F. Allen and Mark E. Giuliano},\n title = {An Overview of the HORNE Logic Programming System},\n journal = {SIGART Newsletter},\n month = {April},\n note = {Also appears in {\\em Logic Programming Newsletter}, No. 5, Winter, 1983/4.},\n pages = {27-29},\n number = {84} ,\n year = {1983}\n}\n\n\n","author_short":["Frisch, A. M.","Allen, J. F.","Giuliano, M. E."],"key":"Frisch+Allen+Giuliano/83/Overview","id":"Frisch+Allen+Giuliano/83/Overview","bibbaseid":"frisch-allen-giuliano-anoverviewofthehornelogicprogrammingsystem-1983","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"http://data.bibbase.org/provenance/httpwwwcsyorkacukfrischkrrgbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["overview","horne","logic","programming","system","frisch","allen","giuliano"],"title":"An Overview of the HORNE Logic Programming System","title_words":["overview","horne","logic","programming","system"],"year":1983,"dataSources":["aWoXKdFNdx2gZ47qg"]}