APA (7th ed.) Citation

Plümer, L. (1990). Termination proofs for logic programs. Springer-Verlag.

Chicago Style (17th ed.) Citation

Plümer, Lutz. Termination Proofs for Logic Programs. Berlin ; New York: Springer-Verlag, 1990.

MLA (9th ed.) Citation

Plümer, Lutz. Termination Proofs for Logic Programs. Springer-Verlag, 1990.