Citazione Stile APA (7a Edizione)
Bernhard Gramlich, D. M. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings. Springer.
Citazione stile Chigago Style (17a edizione)
Bernhard Gramlich, Dale Miller. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings. Berlín, Alemania: Springer.
Citatione MLA (9a ed.)
Bernhard Gramlich, Dale Miller. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings. Springer.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.