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

• Caseau, Yves and Laburthe, Francois (1996) Caseau, Yves and Laburthe, Francois "CLAIRE: Combining objects and rules for problem solving"