Wolfgang May Bertram Ludäscher Understanding the global semantics of referential actions using logic rules. 343-397 2002 27 ACM Trans. Database Syst. 4 http://doi.acm.org/10.1145/582410.582411 db/journals/tods/tods27.html#MayL02