@misc{Borowik_Piotr_Wielosekwentowy_1995-1996,
 author={Borowik, Piotr},
 type={artykuł},
 publisher={Wydawnictwo Wyższej Szkoły Pedagogicznej w Częstochowie},
 title={Wielosekwentowy rachunek predykatów pierwszego rzędu},
 address={Częstochowa},
 year={1995-1996},
 language={pol},
}