APA (7th ed.) Citation

(1987). Logic in Computer Science (1987): Proceedings Symposium Ithaca, New York, June 22-25, 1987. IEEE Computer Society Press Association for Computing Machinery.

Chicago Style (17th ed.) Citation

Logic in Computer Science (1987): Proceedings Symposium Ithaca, New York, June 22-25, 1987. Washington D.C New York: IEEE Computer Society Press Association for Computing Machinery, 1987.

MLA (8th ed.) Citation

Logic in Computer Science (1987): Proceedings Symposium Ithaca, New York, June 22-25, 1987. IEEE Computer Society Press Association for Computing Machinery, 1987.