Laurent Fribourg
Automatic Generation of Simplification Lemmas for Inductive Proofs
ICLP, 1991.
@inproceedings{ISLP-1991-Fribourg, author = "Laurent Fribourg", booktitle = "{Proceedings of the Eighth International Symposium on Logic Programming}", isbn = "0-262-69147-7", pages = "103--116", publisher = "{MIT Press}", title = "{Automatic Generation of Simplification Lemmas for Inductive Proofs}", year = 1991, }