A semantical model for integration and modularization of rules
A semantical model for integration and modularization of rules / Peter van Emde Boas