Jürgen Hauck. x, y). Math. Log. Q., 31(21-23):357-362, 1985. [doi]
@article{Hauck85, title = {x, y)}, author = {Jürgen Hauck}, year = {1985}, doi = {10.1002/malq.19850312106}, url = {http://dx.doi.org/10.1002/malq.19850312106}, researchr = {https://researchr.org/publication/Hauck85}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {31}, number = {21-23}, pages = {357-362}, }