TY  - RPRT
TI  - $K$-Best Solutions of MSO Problems on Tree-Decomposable Graphs
AU  - David Eppstein
AU  - Denis Kurz
PY  - 2017
UR  - https://arxiv.org/abs/1703.02784
ID  - 1703.02784
ER  -