Rule Termination through Deactivation Graphs in Active Database

Danilo Montesi, Maria Bagnato, Cristina Dallera. Rule Termination through Deactivation Graphs in Active Database. In SEBD. pages 373-385, 1999.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.