Michael Benedikt Leonid Libkin Relational queries over interpreted structures. 644-680 2000 47 J. ACM 4 http://doi.acm.org/10.1145/347476.347477 db/journals/jacm/jacm47.html#BenediktL00 JACM/47/P0644.pdf