APA-Zitierstil (7. Ausg.)

Chan, T. (1977). An algorithm for checking PL CV arithmetic inferences.

Chicago-Zitierstil (17. Ausg.)

Chan, Tat-Hung. An Algorithm for Checking PL CV Arithmetic Inferences. Ithaca, New York, 1977.

MLA-Zitierstil (9. Ausg.)

Chan, Tat-Hung. An Algorithm for Checking PL CV Arithmetic Inferences. 1977.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.