"Verification of Dynamic Data Tree with mu-calculus Extended with Separation."

María-del-Mar Gallardo, David Sanán (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics