Taming selective strictness (2009)

by D Seidel, J Voigtländer