Merge-Width and First-Order Model Checking.

Jan Dreier, Szymon Torunczyk

Browse the full STOC paper archive.