@article{BSL20_3-4_Trybulec,
author = {Andrzej TRYBULEC},
title = {The Mizar Project},
journal = {Bulletin of the Section of Logic},
volume = {20},
number = {3--4},
year = {1991},
pages = {90--91}
}