Stéphane Demri Rajeev Goré An O ((<i>n</i>·log <i>n</i>)<sup>3</sup>)-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic. 152-166 http://link.springer.de/link/service/series/0558/bibs/1761/17610152.htm 1998 conf/ftp/1998 FTP (LNCS Selection) db/conf/ftp/ftp-lncs1998.html#DemriG98