Typing Constraint Logic Programs (2001)

by Francois Fages , Emmanuel Coquery
Venue:THEORY AND PRACTICE OF LOGIC PROGRAMMING
Citations:3 - 2 self