APA (7th ed.) Citation

Middeldorp, A. (1989). Confluence of the disjoint union of conditional term rewriting systems.

Chicago Style (17th ed.) Citation

Middeldorp, Aart. Confluence of the Disjoint Union of Conditional Term Rewriting Systems. Amsterdam, 1989.

MLA (9th ed.) Citation

Middeldorp, Aart. Confluence of the Disjoint Union of Conditional Term Rewriting Systems. 1989.

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