Zbigniew Stachniak Non-Clausal Reasoning with Definite Theories. 363-388 2001 48 Fundam. Inform. 4 db/journals/fuin/fuin48.html#Stachniak01