Voronkov, A., & Weidenbach, C. (2013). Programming Logics: Essays in Memory of Harald Ganzinger. Springer Berlin Heidelberg.
Style de citation Chicago (17e éd.)Voronkov, Andrei, et Christoph Weidenbach. Programming Logics: Essays in Memory of Harald Ganzinger. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Style de citation MLA (8e éd.)Voronkov, Andrei, et Christoph Weidenbach. Programming Logics: Essays in Memory of Harald Ganzinger. Springer Berlin Heidelberg, 2013.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.