@article{Bundy1991,
  author = {Bundy, Alan and {van Harmelen, Frank} and Hesketh, Jane and Smaill, Alan},
  journal = {Journal of Automated Reasoning},
  keywords = {meta-reasoning and Reflection},
  pages = {303--324},
  title = {{Experiments with proof plans for induction}},
  url = {http://link.springer.com/article/10.1007/BF00249016},
  volume = {7},
  year = {1991},
  keywords = {Automated Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/JAR91.pdf"
}

{"_id":"xM3bbMCFtGameMaby","bibbaseid":"bundy-vanharmelen-hesketh-smaill-experimentswithproofplansforinduction-1991","author_short":["Bundy, A.","van Harmelen, Frank","Hesketh, J.","Smaill, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Bundy"],"firstnames":["Alan"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["van Harmelen, Frank"],"suffixes":[]},{"propositions":[],"lastnames":["Hesketh"],"firstnames":["Jane"],"suffixes":[]},{"propositions":[],"lastnames":["Smaill"],"firstnames":["Alan"],"suffixes":[]}],"journal":"Journal of Automated Reasoning","keywords":"Automated Reasoning","pages":"303–324","title":"Experiments with proof plans for induction","url":"http://link.springer.com/article/10.1007/BF00249016","volume":"7","year":"1991","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/JAR91.pdf","bibtex":"@article{Bundy1991,\r\n author = {Bundy, Alan and {van Harmelen, Frank} and Hesketh, Jane and Smaill, Alan},\r\n journal = {Journal of Automated Reasoning},\r\n keywords = {meta-reasoning and Reflection},\r\n pages = {303--324},\r\n title = {{Experiments with proof plans for induction}},\r\n url = {http://link.springer.com/article/10.1007/BF00249016},\r\n volume = {7},\r\n year = {1991},\r\n keywords = {Automated Reasoning},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/JAR91.pdf\"\r\n}\r\n\r\n","author_short":["Bundy, A.","van Harmelen, Frank","Hesketh, J.","Smaill, A."],"key":"Bundy1991","id":"Bundy1991","bibbaseid":"bundy-vanharmelen-hesketh-smaill-experimentswithproofplansforinduction-1991","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/JAR91.pdf"},"keyword":["Automated Reasoning"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["automated reasoning"],"search_terms":["experiments","proof","plans","induction","bundy","van harmelen","hesketh","smaill"],"title":"Experiments with proof plans for induction","year":1991}