Sample Problems

Clause Normal Form - CNF - PUZ031-1.p

First-Order Form - FOF - GRP194+1.p

Typed First-order Form - TFF - GEG021=1.p

Typed Higher-order Form - THF - SEV461^1.p