CLAIRE: Combining Objects and Rules for Problem Solving (1996)

by Y Caseau, F CLAIRE Laburthe
Venue:Proceedings of the JICSLP'96 workshop on multi-paradigm logic programming