Equational Proof-Planning by Dynamic Abstraction
@inproceedings{AuHu-97-b, author = {Autexier, Serge and Hutter, Dieter}, editor = {Bonacina, Maria Paola and Furbach, Ulrich}, booktitle = {Proceedings of FTP97: International Workshop First-Order Theorem Proving}, title = {Equational Proof-Planning by Dynamic Abstraction}, number = {97-50}, series = {Report Series}, organization = {RISC-Linz}, address = {Johannes Kepler Universit\"at, 4040 Linz, Austria}, pages = {1--6}, month = {october}, year = {1997}, }