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.

Abstract

Abstract is missing.