APA Citation

Orłowska, E. (1973). Theorem-proving systems. Dissertationes mathematicae 103.

Chicago Style Citation

Orłowska, Ewa. "Theorem-proving Systems." Dissertationes Mathematicae 103 1973.

MLA Citation

Orłowska, Ewa. "Theorem-proving Systems." Dissertationes Mathematicae 103 1973.

Warning: These citations may not always be 100% accurate.