Dimopoulos, Yannis Programming Logics, MPI for Informatics, Max Planck Society;
1-s2.0-S0890540184710583-main.pdf (Verlagsversion), 690KB
Dimopoulos, Y., & Magirou, V. (1994). A Graph Theoretic Approach to Default Logic. Information and Computation, 112(2), 239-256. doi:10.1006/inco.1994.1058.