Mehmet Dincbas. Propositional calculus problems in CHIP (1993)

by Helmut Simonis
Venue:In [ Benhamou and Colmerauer, 1993 ] , chapter 15