Gregory Kucherov
A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction
PPDP, 1988.
@inproceedings{ALP-1988-Kucherov, author = "Gregory Kucherov", booktitle = "{Proceedings of the First International Workshop on Algebraic and Logic Programming}", doi = "10.1007/3-540-50667-5_72", isbn = "3-540-50667-5", pages = "204--213", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction}", volume = 343, year = 1988, }