The Markgraf Karl Refutation Procedure (MKRP).

Norbert Eisinger Hans Jürgen Ohlbach

Published in: CADE (1986)

Keyphrases

theorem proving
high level
bayesian networks
data structure
preprocessing