"Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow ..."

Guillem Godoy, Eduard Huntingford (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics