APA (7th ed.) Citation

Middeldorp, A. (1989). Termination of disjoint unions of conditional term rewriting systems.

Chicago Style (17th ed.) Citation

Middeldorp, Aart. Termination of Disjoint Unions of Conditional Term Rewriting Systems. Amsterdam, 1989.

MLA (9th ed.) Citation

Middeldorp, Aart. Termination of Disjoint Unions of Conditional Term Rewriting Systems. 1989.

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