TY - RPRT TI - Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs AU - Martin Grohe PY - 2010 UR - https://arxiv.org/abs/1001.2572 ID - 1001.2572 ER -