@misc{Kurkowski_Mirosław_The_2000-2001,
 author={Kurkowski, Mirosław},
 type={artykuł},
 publisher={Wydawnictwo Wyższej Szkoły Pedagogicznej w Częstochowie},
 title={The completeness theorem for logic of authentication},
 address={Częstochowa},
 year={2000-2001},
 language={eng},
 keywords={materiały konferencyjne},
}