@InCollection{BB07,
    Author       = "Benzm{\"u}ller, C. and Brown, C.E.",
    Year         = "2007",
    Title        = "{The Curious Inference of Boolos in MIZAR and OMEGA}",
    Editor       = "Matuszewski, R. and Zalewska, A.",
    BookTitle    = "{Festschrift in Honour of Andrzej Trybulec}",
    Journal      = "Studies in Logic, Grammar, and Rhetoric",
    Volume       = "10",
    Number       = "23",
    Pages        = "299-388",
    Comment      = "TPTPRef"
}