Graf, Peter Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-251.pdf (beliebiger Volltext), 231KB
Graf, P.(1994). Substitution tree indexing (MPI-I-94-251). Saarbrücken: Max-Planck-Institut für Informatik.