APA (7th ed.) Citation

Ohsuga, A., & Sakai, K. (1991). Complete E-unification based on an extension of the Knuth-Bendix completion procedure.

Chicago Style (17th ed.) Citation

Ohsuga, A., and Ko Sakai. Complete E-unification Based on an Extension of the Knuth-Bendix Completion Procedure. Tokyo, Japan, 1991.

MLA (9th ed.) Citation

Ohsuga, A., and Ko Sakai. Complete E-unification Based on an Extension of the Knuth-Bendix Completion Procedure. 1991.

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