CAL, a theoretical background of constraint logic programming and its applications - Sakai, Ko; Aiba, Akira (1988)