Extensions to the rippling-out tactic for guiding inductive proofs. Bundy, A. & Harmelen, F. V. In Conference on Automated Deduction (CADE), volume 449, pages 132–146, 1990.
![Extensions to the rippling-out tactic for guiding inductive proofs [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @inproceedings{Bundy1990,
author = {Bundy, Alan and Harmelen, Frank Van},
booktitle = {Conference on Automated Deduction (CADE)},
pages = {132--146},
title = {{Extensions to the rippling-out tactic for guiding inductive proofs}},
url = {http://link.springer.com/chapter/10.1007/3-540-52885-7\_84},
volume = {449},
year = {1990},
keywords = {Automated Reasoning},
urlPaper = "http://www.cs.vu.nl/~frankh/postscript/CADE90.pdf"
}Downloads: 0
{"_id":"CK5uKM3FqBLhNPaBY","bibbaseid":"bundy-harmelen-extensionstotheripplingouttacticforguidinginductiveproofs-1990","author_short":["Bundy, A.","Harmelen, F. V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bundy"],"firstnames":["Alan"],"suffixes":[]},{"propositions":[],"lastnames":["Harmelen"],"firstnames":["Frank","Van"],"suffixes":[]}],"booktitle":"Conference on Automated Deduction (CADE)","pages":"132–146","title":"Extensions to the rippling-out tactic for guiding inductive proofs","url":"http://link.springer.com/chapter/10.1007/3-540-52885-7\\_84","volume":"449","year":"1990","keywords":"Automated Reasoning","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/CADE90.pdf","bibtex":"@inproceedings{Bundy1990,\r\n author = {Bundy, Alan and Harmelen, Frank Van},\r\n booktitle = {Conference on Automated Deduction (CADE)},\r\n pages = {132--146},\r\n title = {{Extensions to the rippling-out tactic for guiding inductive proofs}},\r\n url = {http://link.springer.com/chapter/10.1007/3-540-52885-7\\_84},\r\n volume = {449},\r\n year = {1990},\r\n keywords = {Automated Reasoning},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/CADE90.pdf\"\r\n}\r\n\r\n\r\n","author_short":["Bundy, A.","Harmelen, F. V."],"key":"Bundy1990","id":"Bundy1990","bibbaseid":"bundy-harmelen-extensionstotheripplingouttacticforguidinginductiveproofs-1990","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/CADE90.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":["extensions","rippling","out","tactic","guiding","inductive","proofs","bundy","harmelen"],"title":"Extensions to the rippling-out tactic for guiding inductive proofs","year":1990}