Journal of Logic, Language, and Information
(2002)
Egg, M. (2002)
Egg, M. ; A. Koller, and J. Niehren. 2001. The constraint language for lambda structures.