APA (7th ed.) Citation

Naumowicz, A. (2006). An example of formalizing recent mathematical results in Mizar. Journal of Applied Logic, 4(4), 396. https://doi.org/10.1016/j.jal.2005.10.003

Chicago Style (17th ed.) Citation

Naumowicz, Adam. "An Example of Formalizing Recent Mathematical Results in Mizar." Journal of Applied Logic 4, no. 4 (2006): 396. https://doi.org/10.1016/j.jal.2005.10.003.

MLA (9th ed.) Citation

Naumowicz, Adam. "An Example of Formalizing Recent Mathematical Results in Mizar." Journal of Applied Logic, vol. 4, no. 4, 2006, p. 396, https://doi.org/10.1016/j.jal.2005.10.003.