APA Citation

Shen, S. (2005). Minimizing counterexample with Unit Core Extraction and Incremental SAT. Springer.

Chicago Style Citation

Shen, ShengYu. Minimizing Counterexample With Unit Core Extraction and Incremental SAT. Springer, 2005.

MLA Citation

Shen, ShengYu. Minimizing Counterexample With Unit Core Extraction and Incremental SAT. Springer, 2005.

Warning: These citations may not always be 100% accurate.