APA-Zitierstil (7. Ausg.)

Meyer, A. R., Streett, R. S., & Mirkowska, G. (1981). The deducibility problem in propositional dynamic logic. Massachusetts Inst. of Technology, Lab. for Computer Science.

Chicago-Zitierstil (17. Ausg.)

Meyer, Albert R., Robert S. Streett, und Grażyna Mirkowska. The Deducibility Problem in Propositional Dynamic Logic. Cambridge, Mass: Massachusetts Inst. of Technology, Lab. for Computer Science, 1981.

MLA-Zitierstil (9. Ausg.)

Meyer, Albert R., et al. The Deducibility Problem in Propositional Dynamic Logic. Massachusetts Inst. of Technology, Lab. for Computer Science, 1981.