@misc{Pech_Pavel_Automatic,
 author={Pech, Pavel},
 howpublished={online},
 publisher={Wydawnictwo Politechniki Śląskiej},
 language={eng},
 title={Automatic theorem proving in elementary geometry},
 type={artykuł},
 keywords={Politechnika Śląska, geometria, grafika inżynierska, projektowanie techniczne, rysunek techniczny},
}