_id,doi,title
4402,1544,Model Checking on Trees with Path Equivalences