@MISC{nonnengartohlbachszalasDG,
        AUTHOR        = {Andreas Nonnengart and Hans J\"urgen Ohlbach and Andrzej Szalas}
,
        TITLE         = {Quantifier Elimination for Second-Order Predicate Logic},
        HOWPUBLISHED  = {to appear in: Logic, Language and Reasoning. Essays in honour of
 Dov Gabbay, Part I, Kluwer Academic Press}
}