APA-Zitierstil (7. Ausg.)

Snyers, D., & Thayse, A. (1987). From logic design to logic programming: Theorem proving techniques and p-functions. Springer.

Chicago-Zitierstil (17. Ausg.)

Snyers, Dominique, und André Thayse. From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions. Berlin <<[u.a.]>>: Springer, 1987.

MLA-Zitierstil (9. Ausg.)

Snyers, Dominique, und André Thayse. From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions. Springer, 1987.