Thesis
- Thom Frühwirth. A Declarative Language for Constraint Systems: Theory and Practice of Constraint Handling Rules. Habilitationsschrift, deptcw, LMU, Munchen, Germany, December 1997.
Conference articles
- Slim Abdennadher. Operational Semantics and Confluence of Constraint Propagation Rules. In G. Smolka, editor, CP '97: Proc. Third Intl. Conf. Principles and Practice of Constraint Programming, volume 1330 of LNCS, pages 252-266, 1997. SV. Keyword(s): confluence, semantics.
- Stéphane Bressan. Overview of a Prolog implementation of COntext INterchange mediator. In PAP '97: Proc. Fifth Intl. Conf. Pract. Applic. Prolog, London, 1997. Practical Application Company Ltd..
- Stéphane Bressan, Cheng Hian Goh, Thomas Lee, Stuart Madnick, and Michael Siege. A Procedure for Mediation of Queries to Sources in Disparate Contexts. In Proc. Intl. Logic Programming Symp., pages 213-228, 1997. MIT Press.
BACK TO INDEX