Douglas S. Bridges, Robin Havea. Constructive Notions of Maximality for Ideals. J. UCS, 14(22):3648-3657, 2008. [doi]
@article{BridgesH08, title = {Constructive Notions of Maximality for Ideals}, author = {Douglas S. Bridges and Robin Havea}, year = {2008}, url = {http://www.jucs.org/jucs_14_22/constructive_notions_of_maximality}, researchr = {https://researchr.org/publication/BridgesH08}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {14}, number = {22}, pages = {3648-3657}, }