Kord Eickmeyer Martin Grohe Randomisation and Derandomisation in Descriptive Complexity Theory. 275-289 2010 CSL http://dx.doi.org/10.1007/978-3-642-15205-4_23 conf/csl/2010 db/conf/csl/csl2010.html#EickmeyerG10