In: DIISM '93. Proceedings of JSPE/IFIP TC5/WG5.3 workshop on the design of information infrastructure systems for manufacturing. Tokyo, 1993. (IFIP transactions B-14.).
Conflicts in manufacturing systems - a problem setting
In: Shifting paradigms in software engineering. Proceedings of the 7th joint conference of the Austrian Computer Society and the John von Neumann Society for Computing Sciences. Klagenfurt, 1992.
Lessons of a first-year use of the automated reasoning tool