How to Define a Linear Order on Finite Models

How to Define a Linear Order on Finite Models Lauri Hella Phokion G. Kolaitis Kerkko Luosto 40-49 conf/lics/LICS9 1994 LICS db/conf/lics/lics94.html#HellaKL94