"Optimizing and Parallelizing Ranked Enumeration."

Konstantin Golenberg, Benny Kimelfeld, Yehoshua Sagiv (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics