Laurent Fribourg. A Superposition Oriented Theorem Prover. In IJCAI. pages 923-925, 1983.
@inproceedings{Fribourg83,
title = {A Superposition Oriented Theorem Prover},
author = {Laurent Fribourg},
year = {1983},
researchr = {https://researchr.org/publication/Fribourg83},
cites = {0},
citedby = {0},
pages = {923-925},
booktitle = {IJCAI},
}