Veanes, Margus Programming Logics, MPI for Informatics, Max Planck Society;
Veanes, M. (1998). The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification. In V. Pratt (Ed.), Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98) (pp. 264-275). Los Alamitos, USA: IEEE.