Mark E. Stickel. A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. Theoretical Computer Science, 104(1):109-128, 1992.
@article{Stickel92,
title = {A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog},
author = {Mark E. Stickel},
year = {1992},
tags = {Prolog, e-science},
researchr = {https://researchr.org/publication/Stickel92},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {104},
number = {1},
pages = {109-128},
}