@INCOLLECTION{kama-maar-rete-well-at65,
    AUTHOR = {Kamareddine, Fairouz and Maarek, Manuel and Retel, Krzysztof and Weels, J.B.},
    TITLE  = {Gradual Computerisation/Formalisation of Mathematical Texts into {M}izar},
    BOOKTITLE = {From Insight to Proof: Festschrift in Honour of Andrzej Trybulec},
    SERIES = {Studies in Logic, Grammar and Rhetoric},
    EDITOR = {Matuszewski, R. and Zalewska, A.},
    PUBLISHER = {University of Bia{\l}ystok},
    YEAR = {2007},
    VOLUME = {10(23)},
    PAGES = {95--120},
    URL={http://mizar.org/trybulec65/},
    }