Ulrich Fraus. A Narrowing-Based Theorem Prover. In Ronald V. Book, editor, International Conference on Rewriting Techniques and Applications. Volume 488 of Lecture Notes in Computer Science, pages 435-436, Springer, Como, Italy, 1991.
@inproceedings{Fraus91,
title = {A Narrowing-Based Theorem Prover},
author = {Ulrich Fraus},
year = {1991},
tags = {rule-based},
researchr = {https://researchr.org/publication/Fraus91},
cites = {0},
citedby = {0},
pages = {435-436},
booktitle = {Rewriting Techniques and Applications},
editor = {Ronald V. Book},
volume = {488},
series = {Lecture Notes in Computer Science},
address = {Como, Italy},
publisher = {Springer},
isbn = {3-540-53904-2},
}