Hans Jürgen Ohlbach, Jörg H. Siekmann. The Markgraf Karl Refutation Procedure. In Computational Logic - Essays in Honor of Alan Robinson. pages 41-112, 1991.
@inproceedings{OhlbachS91,
title = {The Markgraf Karl Refutation Procedure},
author = {Hans Jürgen Ohlbach and Jörg H. Siekmann},
year = {1991},
researchr = {https://researchr.org/publication/OhlbachS91},
cites = {0},
citedby = {0},
pages = {41-112},
booktitle = {Computational Logic - Essays in Honor of Alan Robinson},
}