"Detecting inconsistencies via universal reachability analysis."

Aaron Tomb, Cormac Flanagan (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics