Christoph Behle Andreas Krebs Stephanie Reifferscheid Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG]. 129-140 2009 LATA http://dx.doi.org/10.1007/978-3-642-00982-2_11 conf/lata/2009 db/conf/lata/lata2009.html#BehleKR09