Caseau, Yves and Laburthe, Francois "CLAIRE: Combining objects and rules for problem solving"

Proceedings of the JICSLP'96 workshop on multi-par (1996) Proceedings of the JICSLP'96 workshop on multi-paradigm logic programming. TU Berlin, 1996  

Languages mentioned CLAIRE {1996}