Mechanical Theorem-Proving by Model Elimination.

Donald W. Loveland

Published in: J. ACM (1968)

Keyphrases

theorem proving
probability distribution
probabilistic model
description logics
formal model
decision procedures
automated deduction