APA (7th ed.) Citation

Naumowicz, A. (2010). Interfacing external CA systems for Grobner bases computation in Mizar proof checking. International Journal of Computer Mathematics, 87(1), 1. https://doi.org/10.1080/00207160701864459

Chicago Style (17th ed.) Citation

Naumowicz, Adam. "Interfacing External CA Systems for Grobner Bases Computation in Mizar Proof Checking." International Journal of Computer Mathematics 87, no. 1 (2010): 1. https://doi.org/10.1080/00207160701864459.

MLA (9th ed.) Citation

Naumowicz, Adam. "Interfacing External CA Systems for Grobner Bases Computation in Mizar Proof Checking." International Journal of Computer Mathematics, vol. 87, no. 1, 2010, p. 1, https://doi.org/10.1080/00207160701864459.