Sakai Ko, Aiba Akira "Constraint Logic Programming Language CAL @Its Development and Future Extensions"

(1988) IPSJ SIGNotes SYMbol manipulation Abstract No.047 - 001  

Languages mentioned CAL {1988} ICOT Constraint Logic Programming Language