Patrizia Asirelli Stephen C. Cook Keith G. Jeffery A Logical Database for Validating System Models. 119-134 1996 DDLP db/conf/deductive/deductive96.html#AsirelliCJ96