Equational Proof-Planning by Dynamic Abstraction

@inproceedings{pub1547,
    author = {

Autexier, Serge
 and 

Hutter, Dieter
},
    editor = {

Furbach, U.
 and 

Bonacina, M. P.
},
    title = {Equational Proof-Planning by Dynamic Abstraction},
    booktitle = {International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem Proving (FTP), Linz, Australia},
    year = {1997},
    pages = {1--6},
    publisher = {RISC-Linz Report Series No. 97-50}
}