Login / Signup

A Comparison of the Resolution Caculus and the Connection Method, and a new Calculus Generalizing Both Methods.

Elmar Eder
Published in: CSL (1988)
Keyphrases