Parosh Aziz Abdulla Bengt Jonsson Pritha Mahata Julien d'Orso Regular Tree Model Checking. 555-568 2002 conf/cav/2002 CAV http://link.springer.de/link/service/series/0558/bibs/2404/24040555.htm db/conf/cav/cav2002.html#AbdullaJMd02