Skip to content

Non-clausal Reasoning with Propositional Definite Theories.

Zbigniew Stachniak

Year1998
ProceedingsAISC

Browse the full AISC paper archive.