Roel Wieringa John-Jules Ch. Meyer Hans Weigand Specifying Dynamic and Deontic Integrity Constraints. 157-189 1989 4 Data Knowl. Eng. db/journals/dke/dke4.html#WieringaMW89