"Untwist your brain: efficient debugging and diagnosis of complex assertions."

Michael Siegel, Adriana Maggiore, Christian Pichler (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics