Mohammed Almulla, Monroe M. Newborn. The practicality of generating semantic trees for proofs of unsatisfiability. Int. J. Comput. Math., 62(1-2):45-61, 1996. [doi]
No references recorded for this publication.
No citations of this publication recorded.