Constraint Logic Programming and the Unification of Information (1991)

by K Mukai