E.: Typing constraint logic programs (2001)

by F Fages, Coquery
Venue:Journal of Theory and Practice of Logic Programming