Véronique Benzaken, Anne Doucet. Thémis: a database programming language with integrity constraints. In Catriel Beeri, Atsushi Ohori, Dennis Shasha, editors, Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993. Workshops in Computing, pages 243-262, Springer, 1993. [doi]
Abstract is missing.