Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
https://open.bu.edu/ds2/stream/?#/documents/4621/page/1 (Publisher version)
Hustadt, U. (1992). A Complete Transformation System for Polymorphic Higher-Order Unification. In F. Baader, J. Siekmann, & W. Snyder (Eds.), Proceedings of Sixth International Workshop on Unification (pp. 61-65). Boston, MA: OpenBU.