Adam Grabowski. Lattice Theory for Rough Sets - A Case Study with Mizar. Fundamenta Informaticae, 147(2-3):223-240, 2016. [doi]
@article{Grabowski16-1, title = {Lattice Theory for Rough Sets - A Case Study with Mizar}, author = {Adam Grabowski}, year = {2016}, doi = {10.3233/FI-2016-1406}, url = {http://dx.doi.org/10.3233/FI-2016-1406}, researchr = {https://researchr.org/publication/Grabowski16-1}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {147}, number = {2-3}, pages = {223-240}, }