On Isolation, Concurrency, and the Venus Rule Language. - Stephen Correl; Daniel P. Miranker (CIKM, 1995)