APA (7th ed.) Citation

Snyers, D., & Thayse, A. (1987). From logic design to logic programming: Theorem proving techniques and P-functions. Springer. https://doi.org/10.1007/3-540-18217-9

Chicago Style (17th ed.) Citation

Snyers, Dominique, and André Thayse. From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions. Berlin u.a: Springer, 1987. https://doi.org/10.1007/3-540-18217-9.

MLA (9th ed.) Citation

Snyers, Dominique, and André Thayse. From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions. Springer, 1987. https://doi.org/10.1007/3-540-18217-9.