"On-The-Fly Resolve Trace Minimization."

Ohad Shacham, Karen Yorav (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics