Kleine Büning, H. und Zhao, X. (Hrsg.) (2008) „Theory and Applications of Satisfiability Testing – SAT 2008 : 11 th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-79719-7.

Kleine Büning, Hans, und Xishun Zhao, Hrsg. „Theory and Applications of Satisfiability Testing – SAT 2008 : 11 th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-79719-7.

Kleine Büning, H., … Zhao, X. (Hrsg.). (ca. 2008). Theory and Applications of Satisfiability Testing – SAT 2008 : 11 th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-79719-7

Kleine Büning, H., und X. Zhao, Herausgeber. „Theory and Applications of Satisfiability Testing – SAT 2008 : 11 th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-79719-7.

KLEINE BÜNING, Hans und Xishun ZHAO (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540797197