Skip to main content
PRL Project

Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus

by Wojciech Moczydlowski, Robert L. Constable
2007

In LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science

bibTex ref: MC07


cite link