Groce, A., Kroening, D., & Lerda, F. (2004). Understanding Counterexamples with explain.
芝加哥风格引文Groce, A., D. Kroening, 与 F. Lerda. Understanding Counterexamples with Explain. 2004.
MLA引文Groce, A., et al. Understanding Counterexamples with Explain. 2004.
警告：这些引文格式不一定是100％准确.