Logical definability and query languages over ranked and unranked trees (2007)

by Michael Benedikt , Leonid Libkin , Frank Neven
Venue:ACM Trans. on Comput. Logic
Citations:7 - 4 self