How to Define a Linear Order on Finite Models

Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto

Browse the full LICS paper archive.