Basin, David Programming Logics, MPI for Informatics, Max Planck Society;
Walsh, Toby Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-211.pdf (beliebiger Volltext), 123KB
Basin, D., & Walsh, T.(1992). Difference matching (MPI-I-92-211). Saarbrücken: Max-Planck-Institut für Informatik.