TITLE     : Modelling transition systems within an action based logic
AUTHOR(S) : Fantechi A
TYPE      : Other
YEAR      : 1995
CODE      : 408227

*** DO NOT EDIT THIS FILE ***