APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Snyers, Dominique, and André Thayse. From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions. Berlin ; New York: Springer-Verlag, 1987.

MLA (8th ed.) Citation

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