Title: Clausal form logic
First published: 1989
Subjects: Electronic digital computers, Logic, Symbolic and mathematical, Programming, Symbolic and mathematical Logic
LC classification: QA76.6