APA (7th ed.) Citation

Baudinet, M. (1988). Proving termination properties of PROLOG programs: A semantic approach.

Chicago Style (17th ed.) Citation

Baudinet, Marianne. Proving Termination Properties of PROLOG Programs: A Semantic Approach. Stanford, Calif, 1988.

MLA (9th ed.) Citation

Baudinet, Marianne. Proving Termination Properties of PROLOG Programs: A Semantic Approach. 1988.

Warning: These citations may not always be 100% accurate.