Hierarchical constraint logic programming (1993)

by M Wilson, A Borning
Venue:Journal of Logic Programming