Meyer, A. R. (1980). A note on the length of Craig's interpolants. Mass. Inst. of Technology, Laboratory for Computer Science.
Chicago-Zitierstil (17. Ausg.)Meyer, Albert R. A Note on the Length of Craig's Interpolants. Cambridge, Mass: Mass. Inst. of Technology, Laboratory for Computer Science, 1980.
MLA-Zitierstil (9. Ausg.)Meyer, Albert R. A Note on the Length of Craig's Interpolants. Mass. Inst. of Technology, Laboratory for Computer Science, 1980.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.