@misc{Stępień_Lidia_Fast_2000-2001,
 author={Stępień, Lidia},
 type={artykuł},
 publisher={Wydawnictwo Wyższej Szkoły Pedagogicznej w Częstochowie},
 title={Fast automatic deduction},
 address={Częstochowa},
 year={2000-2001},
 language={eng},
 keywords={materiały konferencyjne},
}