@article{BSL20_3-4_Darmochwal,
author = {Agata DARMOCHWA{\L}},
title = {PC Mizar Presentation},
journal = {Bulletin of the Section of Logic},
volume = {20},
number = {3--4},
year = {1991},
pages = {92--93}
}