doi dblp On Isolation, Concurrency, and the Venus Rule Language Stephen Correl | Daniel P. Miranker CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28 - December 2, 1995, Baltimore, Maryland, USA