Norbert Eisinger, Hans Jürgen Ohlbach
The Markgraf Karl Refutation Procedure (MKRP)
CADE, 1986.
@inproceedings{CADE-1986-EisingerO, author = "Norbert Eisinger and Hans Jürgen Ohlbach", booktitle = "{Proceedings of the Eighth International Conference on Automated Deduction}", doi = "10.1007/3-540-16780-3_135", isbn = "3-540-16780-3", pages = "681--682", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{The Markgraf Karl Refutation Procedure (MKRP)}", volume = 230, year = 1986, }