Ralph Freese, James B. Nation, Matt Valeriote. Testing for a Semilattice Term. Order, 36(1):65-76, 2019. [doi]
@article{FreeseNV19, title = {Testing for a Semilattice Term}, author = {Ralph Freese and James B. Nation and Matt Valeriote}, year = {2019}, doi = {10.1007/s11083-018-9455-6}, url = {https://doi.org/10.1007/s11083-018-9455-6}, researchr = {https://researchr.org/publication/FreeseNV19}, cites = {0}, citedby = {0}, journal = {Order}, volume = {36}, number = {1}, pages = {65-76}, }