@article{ DBLP:journals/jar/BundyHHS91,
  author    = {Alan Bundy and Frank Harmelen and Jane Hesketh and Alan Smaill},
  title     = {Experiments with Proof Plans for Induction},
  journal   = {J. Autom. Reasoning},
  pages   = {303-324},
  volume   = {7},
  number   = {3} ,
  year   = {1991}
}

{"_id":{"_str":"534268690e946d920a000f82"},"__v":15,"authorIDs":["5456eb938b01c81930000068","548c6f512e5d16b075000a0a"],"author_short":["Bundy, A.","Harmelen, F.","Hesketh, J.","Smaill, A."],"bibbaseid":"bundy-harmelen-hesketh-smaill-experimentswithproofplansforinduction-1991","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alan"],"propositions":[],"lastnames":["Bundy"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["Jane"],"propositions":[],"lastnames":["Hesketh"],"suffixes":[]},{"firstnames":["Alan"],"propositions":[],"lastnames":["Smaill"],"suffixes":[]}],"title":"Experiments with Proof Plans for Induction","journal":"J. Autom. Reasoning","pages":"303-324","volume":"7","number":"3","year":"1991","bibtex":"@article{ DBLP:journals/jar/BundyHHS91,\n author = {Alan Bundy and Frank Harmelen and Jane Hesketh and Alan Smaill},\n title = {Experiments with Proof Plans for Induction},\n journal = {J. Autom. Reasoning},\n pages = {303-324},\n volume = {7},\n number = {3} ,\n year = {1991}\n}\n\n\n","author_short":["Bundy, A.","Harmelen, F.","Hesketh, J.","Smaill, A."],"key":"DBLP:journals/jar/BundyHHS91","id":"DBLP:journals/jar/BundyHHS91","bibbaseid":"bundy-harmelen-hesketh-smaill-experimentswithproofplansforinduction-1991","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"http://data.bibbase.org/author/jane-hesketh/?format=bibtex","downloads":0,"keywords":[],"search_terms":["experiments","proof","plans","induction","bundy","harmelen","hesketh","smaill"],"title":"Experiments with Proof Plans for Induction","year":1991,"dataSources":["9GuHTeKavqkEsZHqy"]}