"Locality Transfer: From Constrained Axiomatizations to Reachability ..."

Matthias Horbach, Viorica Sofronie-Stokkermans (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics