Some Contributions to the Logical Analysis of Circumscrition.

Gerhard Jger

Browse the full CADE paper archive.