"clausal form logic." . . "clausal form logic." . .