APA (7th ed.) Citation

Oh, Y., Mneimneh, M. N., Andraus, Z. S., Sakallah, K. A., & Markov, I. L. (2004, June 7). AMUSE: A minimally-unsatisfiable subformula extractor. 2004 41st Conference Design Automation, 518-523. https://doi.org/10.1145/996566.996710

Chicago Style (17th ed.) Citation

Oh, Yoonna, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, and Igor L. Markov. "AMUSE: A Minimally-unsatisfiable Subformula Extractor." 2004 41st Conference Design Automation 7 Jun. 2004: 518-523. https://doi.org/10.1145/996566.996710.

MLA (9th ed.) Citation

Oh, Yoonna, et al. "AMUSE: A Minimally-unsatisfiable Subformula Extractor." 2004 41st Conference Design Automation, 7 Jun. 2004, pp. 518-523, https://doi.org/10.1145/996566.996710.