Article ISI Frontiers of Computer Science (2012)
Chirkova R.; Libkin L.; Reutter J.
10.1007/s11704-012-2023-0