MLA

Dahl, Véronica, et al. Logic Programming. Springer Berlin Heidelberg, 2007.

APA

Dahl, V.Dahl, V., Kanade, T., Niemelä, I., Kittler, J., & Neimela, I. (2007). Logic Programming. Springer Berlin Heidelberg.

Chicago

Dahl, Véronica, Veronica Dahl, Takeo Kanade, Ilkka Niemelä, Josef Kittler, and Ilkka Neimela. Logic Programming. : Springer Berlin Heidelberg, 2007.