A Formal System for Producing Demons from Rules in an Object-Oriented Database.

Yves Caseau A Formal System for Producing Demons from Rules in an Object-Oriented Database. 203-219 1989 DOOD db/conf/dood/dood89.html#Caseau89