Stefano Odoardi, Christoph F. Eick. Tools for the definition and enforcement of dynamic constraints. In Seventh International Conference on Tools with Artificial Intelligence, ICTAI '95, Herndon, VA, USA, November 5-8, 1995. pages 326-333, IEEE Computer Society, 1995. [doi]
Abstract is missing.