Myra Van Inwegen Elsa L. Gunter HOL-ML. 61-74 1993 conf/tphol/1993 HUG db/conf/tphol/tphol93.html#InwegenG93 http://dx.doi.org/10.1007/3-540-57826-9_125