Login / Signup

KPROP - An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract).

Johann Schumann
Published in: CADE (1992)
Keyphrases