APA (7th ed.) Citation

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 (9th ed.) Citation

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

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.