Hierarchical constraint logic programming (1993)

by M Wilson, A Borning
Venue:J. Log. Program