Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
91-228.pdf (Any fulltext), 222KB
Hustadt, U.(1991). A complete transformation system for polymorphic higher-order unification (MPI-I-91-228). Saarbrücken: Max-Planck-Institut für Informatik.