APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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

Let op: Deze citaties zijn niet altijd 100% accuraat.