Jürgen Schmidt. Binomial pairs, semi-Brouwerian and Brouwerian semilattices. Notre Dame Journal of Formal Logic, 19(3):421-434, 1978. [doi]
@article{Schmidt78-0, title = {Binomial pairs, semi-Brouwerian and Brouwerian semilattices}, author = {Jürgen Schmidt}, year = {1978}, doi = {10.1305/ndjfl/1093888403}, url = {http://dx.doi.org/10.1305/ndjfl/1093888403}, researchr = {https://researchr.org/publication/Schmidt78-0}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {19}, number = {3}, pages = {421-434}, }