F : Bounded quantification is NOT essentially undecidable (1994)

by S Vorobyov