Variables on Finite Ordered Structures 31 [Papadimitriou (1994)

by H Papadimitriou
Venue:In Computer Science Logic 94, volume 933 of LNCS