TY  - RPRT
TI  - Compact Labelings For Efficient First-Order Model-Checking
AU  - Bruno Courcelle
AU  - Cyril Gavoille
AU  - Mamadou Moustapha Kanté
PY  - 2014
DO  - 10.1007/s10878-009-9260-7
UR  - https://arxiv.org/abs/0811.4713
ID  - 0811.4713
ER  -