APA (7th ed.) Citation

Grabowski, A. (2016). Lattice Theory for Rough Sets - A Case Study with Mizar. Fundamenta Informaticae, 147(2-3), 223. https://doi.org/10.3233/FI-2016-1406

Chicago Style (17th ed.) Citation

Grabowski, Adam. "Lattice Theory for Rough Sets - A Case Study with Mizar." Fundamenta Informaticae 147, no. 2-3 (2016): 223. https://doi.org/10.3233/FI-2016-1406.

MLA (9th ed.) Citation

Grabowski, Adam. "Lattice Theory for Rough Sets - A Case Study with Mizar." Fundamenta Informaticae, vol. 147, no. 2-3, 2016, p. 223, https://doi.org/10.3233/FI-2016-1406.