Volker Weispfenning. Quantifier Elimination for Distributive Lattices and Measure Algebras. Math. Log. Q., 31(14-18):249-261, 1985. [doi]
@article{Weispfenning85-0, title = {Quantifier Elimination for Distributive Lattices and Measure Algebras}, author = {Volker Weispfenning}, year = {1985}, doi = {10.1002/malq.19850311407}, url = {http://dx.doi.org/10.1002/malq.19850311407}, researchr = {https://researchr.org/publication/Weispfenning85-0}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {31}, number = {14-18}, pages = {249-261}, }