The hierarchical constraint logic language CHAL - Satoh, Ken 1959-; Aiba, Akira (1990)