SPELL: A Logic Programming Language for Process Modelling.

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