TITLE     : From the Archives of the Formal Methods and Tools Lab: Axiomatising and Contextualising ACTL
AUTHOR(S) : Gnesi S, Ter Beek M H
TYPE      : Contribution to book
YEAR      : 2019
CODE      : 404760

*** DO NOT EDIT THIS FILE ***