APA

Barrett H. C., Association for Computing Machinery, . (2008). Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning. New York, NY: ACM.

Chicago

Barrett H Clark, Association for Computing Machinery, . 2008. Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning. New York, NY: ACM.

Harvard

Barrett H. C., Association for Computing Machinery, . (2008). Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning. New York, NY: ACM.

MLA

Barrett H Clark, Association for Computing Machinery, . Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning. New York, NY: ACM. 2008.