Typing Constraint Logic Programs (2001)

by Francois Fages, Emmanuel Coquery
Venue:THEORY AND PRACTICE OF LOGIC PROGRAMMING