IEEE Symposium on Logic in Computer Science Philadelphia, Pa., ACM Special Interest Group for Automata and Computability Theory, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Association for Symbolic Logic, & European Association for Theoretical Computer Science. (1990). Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA: Proceedings. IEEE Computer Society Press.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रIEEE Symposium on Logic in Computer Science Philadelphia, Pa., ACM Special Interest Group for Automata and Computability Theory, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Association for Symbolic Logic, और European Association for Theoretical Computer Science. Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA: Proceedings. Los Alamitos, Calif.: IEEE Computer Society Press, 1990.
एमएलए (8वां संस्करण) प्रशस्ति पत्रIEEE Symposium on Logic in Computer Science Philadelphia, Pa., et al. Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA: Proceedings. IEEE Computer Society Press, 1990.