TITLE     : A sound and complete axiom system for the logic Actl
AUTHOR(S) : Gnesi S., Larosa S.
TYPE      : Conference article
YEAR      : 1995
CODE      : 409075

*** DO NOT EDIT THIS FILE ***