## John K. Slaney

*Minlog: A Minimal Logic Theorem Prover*

CADE, 1997.

@inproceedings{CADE-1997-Slaney, author = "John K. Slaney", booktitle = "{Proceedings of the 14th International Conference on Automated Deduction}", doi = "10.1007/3-540-63104-6_27", isbn = "3-540-63104-6", pages = "268--271", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Minlog: A Minimal Logic Theorem Prover}", volume = 1249, year = 1997, }