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
Citace podle Chicago (17th ed.)Oh, Yoonna, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..