Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning.

Helmut Prendinger Mitsuru Ishizuka Gerhard Schurz Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning. 35-58 2000 14 IJPRAI 1 db/journals/ijprai/ijprai14.html#PrendingerIS00