Higher-order constraint logic programming - Wang, Kang (1994)
Bremen, Univ., Diss., 1994