APA (7th ed.) Citation

Wasilewska, A. (1985). Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them. Mathematical Logic Quarterly, 31(19-20), 289. https://doi.org/10.1002/malq.19850311902

Chicago Style (17th ed.) Citation

Wasilewska, Anita. "Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with Them." Mathematical Logic Quarterly 31, no. 19-20 (1985): 289. https://doi.org/10.1002/malq.19850311902.

MLA (9th ed.) Citation

Wasilewska, Anita. "Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with Them." Mathematical Logic Quarterly, vol. 31, no. 19-20, 1985, p. 289, https://doi.org/10.1002/malq.19850311902.