Unifying Various Approaches to Default Logic.

Yves Moinard

Browse the full IPMU paper archive.