TITLE     : A proof assistant for the action based temporal logic Actl
AUTHOR(S) : Gnesi S, Larosa S
TYPE      : Other
YEAR      : 1995
CODE      : 408402

*** DO NOT EDIT THIS FILE ***