Cita APA (7a ed.)
Journal of Automated Reasoning.
Cita Chicago Style (17a ed.)
Journal of Automated Reasoning.
Cita MLA (9a ed.)
Journal of Automated Reasoning.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.