The following publications are possibly variants of this publication:
- Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-LatticesKlaus Ambos-Spies, Peter A. Fejer, Steffen Lempp, Manuel Lerman. JSYML, 61(3):880-905, 1996.
- Undecidability and 1-Types in the Recursively Enumerable DegreesKlaus Ambos-Spies, Richard A. Shore. APAL, 63(1):3-37, 1993.
- Infima of recursively enumerable truth table degreesPeter A. Fejer, Richard A. Shore. ndjfl, 29(3):420-437, 1988. [doi]