EEMCS

Broersen, J.M. and Feenstra, R.B. and Wieringa, R.J. (1996) Minimal semantics for transaction specifications in a multi-modal logic. In: Proceedings of the 6th International Workshop on Foundations of Models and Languages for Data and Objects (IDB 1996), 16-20 Sep 1996, Schloss Dagstuhl, Germany. University of Magdeburg. ISBN not assigned

Broersen, J.M. and Wieringa, R.J. and Feenstra, R.B. (1996) Minimal Semantics for Action Specifications in PDL. In: Accolade 1996, 21-22 Nov 1996, Nijmegen, The Netherlands. pp. 15-30. Dutch Graduate School in Logic, University of Amsterdam. ISBN 9789074795746

Feenstra, R.B. and Wieringa, R.J. (1995) Validating database constraints and updates using automated reasoning techniques. In: Proceedings of the Workshop on Semantics in Databases, Jan 1995, Prague, Czech Republic. pp. 24-32. Technische Universitat Cottbus.

Feenstra, R.B. and Wieringa, R.J. (1995) Validating specifications of dynamic systems using automated reasoning techniques. In: NAIC'95: Proceedings of the Seventh Dutch Conference on Artificial Intelligence, NAIC '95, 22-23 June 1995. pp. 105-114.

Saake, G. and Hartel, P. and Jungclaus, R. and Wieringa, R.J. and Feenstra, R.B. (1994) Inheritance conditions for object life cycle diagrams. In: EMISA-Workshop Formale Grundlagen fur den Entwurf von Informationsystemen, 24-26 May 1994, Tutzing, Germany. pp. 79-88. Informatik-Berichte (3/94). Institut für Informatik, Universität Hannover.