@InProceedings{Sch02,
    Author       = "Schulz, S.",
    Year         = "2002",
    Title        = "{A Comparison of Different Techniques for Grounding
                    Near-Propositional CNF Formulae}",
    Editor       = "Haller, S. and Simmons, G.",
    BookTitle    = "{Proceedings of the 15th International FLAIRS Conference}",
    Place        = "Pensecola, USA",
    Pages        = "72-76",
    Publisher    = "AAAI Press",
    Address      = "Palo Alto, USA",
    Comment      = "TPTPCite"
}

% Other possible matches are:

@Article{Sch02-AICOMM,
    Author       = "Schulz, S.",
    Year         = "2002",
    Title        = "{E: A Brainiac Theorem Prover}",
    Journal      = "AI Communications",
    Volume       = "15",
    Number       = "2-3",
    Pages        = "111-126",
    Comment      = ""
}

@Book{Sch02-Book,
    Author       = "Schumann, J.",
    Year         = "2002",
    Title        = "{Automated Theorem Proving in Software Engineering}",
    Publisher    = "Springer",
    Address      = "Berlin, Germany",
    Comment      = "TPTPCite"
}