Reasoning by Cases without Contraposition in Default Logic.

Yves Moinard

Browse the full ECAI paper archive.