@inproceedings{IJCAI89,
  author    = {Alan Bundy and
               Frank van Harmelen and
               Jane Hesketh and
               Alan Smaill and
               Andrew Stevens},
  title     = {A Rational Reconstruction and Extension of Recursion Analysis},
  booktitle = "Proceedings of the Eleventh International Joint Conference on
               Artificial Intelligence ({IJCAI}'89)",
  year      = {1989},
  pages     = {359-365},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  keywords = {Automated Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/IJCAI89.pdf"
}

{"_id":"P9hyr38p3gq4n4nwz","bibbaseid":"bundy-vanharmelen-hesketh-smaill-stevens-arationalreconstructionandextensionofrecursionanalysis-1989","author_short":["Bundy, A.","van Harmelen, F.","Hesketh, J.","Smaill, A.","Stevens, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alan"],"propositions":[],"lastnames":["Bundy"],"suffixes":[]},{"firstnames":["Frank"],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["Jane"],"propositions":[],"lastnames":["Hesketh"],"suffixes":[]},{"firstnames":["Alan"],"propositions":[],"lastnames":["Smaill"],"suffixes":[]},{"firstnames":["Andrew"],"propositions":[],"lastnames":["Stevens"],"suffixes":[]}],"title":"A Rational Reconstruction and Extension of Recursion Analysis","booktitle":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI'89)","year":"1989","pages":"359-365","bibsource":"DBLP, http://dblp.uni-trier.de","keywords":"Automated Reasoning","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/IJCAI89.pdf","bibtex":"@inproceedings{IJCAI89,\r\n author = {Alan Bundy and\r\n Frank van Harmelen and\r\n Jane Hesketh and\r\n Alan Smaill and\r\n Andrew Stevens},\r\n title = {A Rational Reconstruction and Extension of Recursion Analysis},\r\n booktitle = \"Proceedings of the Eleventh International Joint Conference on\r\n Artificial Intelligence ({IJCAI}'89)\",\r\n year = {1989},\r\n pages = {359-365},\r\n bibsource = {DBLP, http://dblp.uni-trier.de},\r\n keywords = {Automated Reasoning},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/IJCAI89.pdf\"\r\n}\r\n\r\n","author_short":["Bundy, A.","van Harmelen, F.","Hesketh, J.","Smaill, A.","Stevens, A."],"key":"IJCAI89","id":"IJCAI89","bibbaseid":"bundy-vanharmelen-hesketh-smaill-stevens-arationalreconstructionandextensionofrecursionanalysis-1989","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/IJCAI89.pdf"},"keyword":["Automated Reasoning"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["automated reasoning"],"search_terms":["rational","reconstruction","extension","recursion","analysis","bundy","van harmelen","hesketh","smaill","stevens"],"title":"A Rational Reconstruction and Extension of Recursion Analysis","year":1989}