Model Checking on Trees with Path Equivalences.

Rajeev Alur, Pavol Cern, Swarat Chaudhuri

Browse the full TACAS paper archive.