A Prolog based Semantics of a Dedicated Process Modeling Language.

Published in: ICLP Workshop: Applications of Logic Programming to Software Engineering (1994)