@misc{Pawlak_Zdzisław_Definitional,
 author={Pawlak, Zdzisław},
 howpublished={online},
 publisher={Berlin : Springer-Verlag},
 language={eng},
 type={artykuł},
 title={Definitional approach to automatic demonstration},
 keywords={informatyka, automatyka, teoria mnogości, logika matematyczna},
}