TITLE     : Specification and verification of reactive systems using a deductive database
AUTHOR(S) : Asirelli P, Gnesi S
TYPE      : Conference article
YEAR      : 1998
CODE      : 409732

*** DO NOT EDIT THIS FILE ***