Orłowska, E. (1973). Theorem-proving systems. Dissertationes mathematicae 103.
Chicago Style CitationOrłowska, Ewa. "Theorem-proving Systems." Dissertationes Mathematicae 103 1973.
MLA CitationOrłowska, Ewa. "Theorem-proving Systems." Dissertationes Mathematicae 103 1973.
Warning: These citations may not always be 100% accurate.