Dimopoulos, Yannis Programming Logics, MPI for Informatics, Max Planck Society;
Dimopoulos, Y., & Magirou, V. (1994). A Graph Theoretic Approach to Default Logic. Information and Computation, 112(2), 239-256.