TY - RPRT TI - Graph Logics with Rational Relations AU - Pablo Barcelo AU - Diego Figueira AU - Leonid Libkin PY - 2013 DO - 10.2168/lmcs-9(3:1)2013 UR - https://arxiv.org/abs/1304.4150 ID - 1304.4150 ER -