IPSJ SIGNotes SYMbol manipulation Abstract No.047 - 001
(1988)
IPSJ SIGNotes
Sakai Ko, Aiba Akira (1988)
Sakai Ko, Aiba Akira "Constraint Logic Programming Language CAL @Its Development and Future Extensions"