"A New Technique for Verifying the Consistency of Distributed R-Trees."

Sávio S. T. Oliveira et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics