@Article{AIJ88,
  author =       "F. van Harmelen and A. Bundy",
  title =        "Explanation Based Generalisation = Partial Evaluation",
  journal =      "Artificial Intelligence",
  year =         1988,
  volume =       36,
  pages =        "401--412",
  keywords = {Automated Reasoning},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/AIJ88.pdf"
}

{"_id":"FsjszL2To8X6xX2Wy","bibbaseid":"vanharmelen-bundy-explanationbasedgeneralisationpartialevaluation-1988","author_short":["van Harmelen, F.","Bundy, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["F."],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Bundy"],"suffixes":[]}],"title":"Explanation Based Generalisation = Partial Evaluation","journal":"Artificial Intelligence","year":"1988","volume":"36","pages":"401–412","keywords":"Automated Reasoning","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/AIJ88.pdf","bibtex":"@Article{AIJ88,\r\n author = \"F. van Harmelen and A. Bundy\",\r\n title = \"Explanation Based Generalisation = Partial Evaluation\",\r\n journal = \"Artificial Intelligence\",\r\n year = 1988,\r\n volume = 36,\r\n pages = \"401--412\",\r\n keywords = {Automated Reasoning},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/AIJ88.pdf\"\r\n}\r\n\r\n","author_short":["van Harmelen, F.","Bundy, A."],"key":"AIJ88","id":"AIJ88","bibbaseid":"vanharmelen-bundy-explanationbasedgeneralisationpartialevaluation-1988","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/AIJ88.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":["explanation","based","generalisation","partial","evaluation","van harmelen","bundy"],"title":"Explanation Based Generalisation = Partial Evaluation","year":1988}