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.