0319
Mikael Pettersson
DML - A Language and System for the Generation of Efficient Compilers from Denotational Specifications
1992

0326
Andreas Kågedal
Logic Programming with External Procedures: An Implementation
1992

0473
Ulf Söderman
On Conceptual Modelling of Mode Switching Systems
1995

0469
Lars Karlsson
Specification and Synthesis of Plans Using the Features and Fluents Framework
1995

0475
Choong-ho Yi
Reasoning about Concurrent Action in Trajectory Semantics
1995