In: Computers in engineering 1994. Proceedings of the 1994 ASME international computers in engineering conference and exhibition. Minneapolis, 1994. Vol. 1..
Experiments with the integration of reasoning, optimization and generalization in process planning
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