APA引文

Kroening, D., & Strichman, O. (2017). Decision Procedures. Springer.

Chicago Style Citation

Kroening, Daniel, and Ofer Strichman. Decision Procedures. Springer, 2017.

MLA引文

Kroening, Daniel, and Ofer Strichman. Decision Procedures. Springer, 2017.

警告：這些引文格式不一定是100％准確.