This is an example bib-file for Mizar article. If a field is not used by you, just remove it. You may also insert additional items according to BibTeX standards. You may consult also fm.bib in bib directory. @ARTICLE{EXAMPLE.MIZ, AUTHOR = {Smith, John D. and Smith, Jane D.}, NOTE1 = {The author visited Daegoo University as a ZG Fellow. You may insert here e.g. financial support for this chosen (i.e. first in this case) author.}, TITLE = {Your Article Title Goes Here}, NOTE = {This work has been partially supported by the KBN grant 4 T11C 039 24 and the FP6 IST grant TYPES No. 510996.}, ACKNOWLEDGEMENT = {Thank you, folks.}, SECTION1 = {The Title of the First Section}, SECTION2 = {The Title of the Second Section}, DAY = {27}, MONTH = {March}, YEAR = {2007}, ADDRESS1 = {Institute of Informatics\\University of Bia{\l}ystok\\ Konstantego Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland}, ADDRESS2 = {Institute of Informatics\\University of Bia{\l}ystok\\ Konstantego Cio{\l}kowskiego 1M, 15-245 Bia{\l}ystok\\Poland}, SUMMARY = {This is a very long summary. At least one external bibliography item such as \cite{Mostowski:1969} is needed.}} @BOOK{Mostowski:1969, AUTHOR={Mostowski, Andrzej}, TITLE={Constructible Sets with Applications}, PUBLISHER={North Holland}, YEAR=1969}