A satisfiability tester for non-clausal propositional calculus /
Allen Van Gelder.

APA Citation

Van Gelder, A. (1988). A satisfiability tester for non-clausal propositional calculus. New York: Academic Press.

MLA Citation

Van Gelder, Allen. A Satisfiability Tester for Non-clausal Propositional Calculus. New York: Academic Press, 1988.

Warning: These citations may not always be complete (especially for serials).