@InCollection{B6,
  key    =       {B06},
  author =	 {Christoph Benzm{\"u}ller and Chad Brown},
  editor =       {Roman Matuszewski and Anna Zalewska},
  chapter =	 {The curious inference of {B}oolos in {MIZAR} and {OMEGA}},
  title =	 {From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec},
  series = {Studies in Logic, Grammar, and Rhetoric},
  volume = {10(23)},
  pages = {299-388},
  publisher = {The University of Bialystok, Polen},
  year = 2007
}