Helmut Simonis Mehmet Dincbas Propositional Calculus Problems in CHIP. 269-285 1991 WCLP db/conf/wclp/wclp91.html#SimonisD91