Typing Constraint Logic Programs (2001)

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