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

@inproceedings{Caseau1989AFS,
  title={A Formal System for Producing Demons from Rules in an Object-Oriented Database},
  author={Yves Caseau},
  booktitle={DOOD},
  year={1989}
}