A Generalization of the Lifting Lemma for Logic Programming

What this record says

Since the seminal work of J. A. Robinson on resolution, many lifting lemmas for simplifying proofs of completeness of resolution

CATALOG · The abstract is indexed.