Pascal van Eck Joeri Engelfriet Dieter Fensel Frank van Harmelen Yde Venema Mark Willems Specification of Dynamics for Knowledge-Based Systems. 37-68 1998 conf/dagstuhl/1998change Transactions and Change in Logic Databases http://dx.doi.org/10.1007/BFb0055495 db/conf/dagstuhl/change9697.html#EckEFHVW98