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
In: 28th International Conference on Automated Planning and Scheduling, ICAPS 2018, UISP 2018, Proceedings of the 2nd Workshop on User Interfaces and Scheduling and Planning, 2018.06.24-2018.06.29, Delft.
Generating HumanWork Instructions from Assembly Plans