%0 Conference Paper %1 conf/ecai/Stevens88 %A Stevens, Andrew %B ECAI %D 1988 %E Kodratoff, Yves %I Pitmann Publishing, London %K dblp %P 565-570 %T A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas. %U http://dblp.uni-trier.de/db/conf/ecai/ecai88.html#Stevens88 %@ 0-273-08798-3

@inproceedings{conf/ecai/Stevens88, added-at = {2019-07-30T00:00:00.000+0200}, author = {Stevens, Andrew}, biburl = {https://www.bibsonomy.org/bibtex/27f82e77288cf6f5be79f27f33d35a191/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/1988}, editor = {Kodratoff, Yves}, interhash = {244621103acca4f3faac9b0a7b531328}, intrahash = {7f82e77288cf6f5be79f27f33d35a191}, isbn = {0-273-08798-3}, keywords = {dblp}, pages = {565-570}, publisher = {Pitmann Publishing, London}, timestamp = {2019-07-31T11:37:36.000+0200}, title = {A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai88.html#Stevens88}, year = 1988 }