@article{ DBLP:journals/ai/BundySHIS93,
  author    = {Alan Bundy and Andrew Stevens and Frank Harmelen and Andrew Ireland Alan Smaill},
  title     = {Rippling: A Heuristic for Guiding Inductive Proofs},
  journal   = {Artif. Intell.},
  pages   = {185-253},
  volume   = {62},
  number   = {2} ,
  year   = {1993}
}

{"_id":{"_str":"534268680e946d920a000efb"},"__v":49,"authorIDs":["5456eb938b01c81930000068","548c6f512e5d16b075000a0a"],"author_short":["Bundy, A.","Stevens, A.","Harmelen, F.","Smaill, A. I. A."],"bibbaseid":"bundy-stevens-harmelen-smaill-ripplingaheuristicforguidinginductiveproofs-1993","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alan"],"propositions":[],"lastnames":["Bundy"],"suffixes":[]},{"firstnames":["Andrew"],"propositions":[],"lastnames":["Stevens"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["Andrew","Ireland","Alan"],"propositions":[],"lastnames":["Smaill"],"suffixes":[]}],"title":"Rippling: A Heuristic for Guiding Inductive Proofs","journal":"Artif. Intell.","pages":"185-253","volume":"62","number":"2","year":"1993","bibtex":"@article{ DBLP:journals/ai/BundySHIS93,\n author = {Alan Bundy and Andrew Stevens and Frank Harmelen and Andrew Ireland Alan Smaill},\n title = {Rippling: A Heuristic for Guiding Inductive Proofs},\n journal = {Artif. Intell.},\n pages = {185-253},\n volume = {62},\n number = {2} ,\n year = {1993}\n}\n\n\n","author_short":["Bundy, A.","Stevens, A.","Harmelen, F.","Smaill, A. I. A."],"key":"DBLP:journals/ai/BundySHIS93","id":"DBLP:journals/ai/BundySHIS93","bibbaseid":"bundy-stevens-harmelen-smaill-ripplingaheuristicforguidinginductiveproofs-1993","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"http://data.bibbase.org/provenance/httpwwwbibbaseorgdblpharmelen_frank_vanbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["rippling","heuristic","guiding","inductive","proofs","bundy","stevens","harmelen","smaill"],"title":"Rippling: A Heuristic for Guiding Inductive Proofs","year":1993,"dataSources":["rQWnZCJ6CvEXijfsr"]}