Reasoning by Cases without Contraposition in Default Logic

Yves Moinard. Reasoning by Cases without Contraposition in Default Logic. In ECAI. pages 381-385, 1994.

Abstract

Abstract is missing.