APA引文

Schwoon, S., & Rodríguez, C. (2011). Construction and SAT−based verification of Contextual Unfoldings. Springer.

Chicago Style (17th ed.) Citation

Schwoon, S., and C. Rodríguez. Construction and SAT−based Verification of Contextual Unfoldings. Springer, 2011.

MLA引文

Schwoon, S., and C. Rodríguez. Construction and SAT−based Verification of Contextual Unfoldings. Springer, 2011.

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