DOI,IST REx ID,Title of publication
1544,4402,Model Checking on Trees with Path Equivalences