Vasco Brattka Guido Gherardi Rupert Hölzl 0001 249-286 2015 242 Inf. Comput. https://doi.org/10.1016/j.ic.2015.03.005 db/journals/iandc/iandc242.html#BrattkaGH15