Mark E. Stickel. A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. Journal of Automated Reasoning, 4(4):353-380, 1988.
@article{Stickel88:0,
title = {A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler},
author = {Mark E. Stickel},
year = {1988},
tags = {Prolog, e-science, compiler},
researchr = {https://researchr.org/publication/Stickel88%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {4},
number = {4},
pages = {353-380},
}