APA (7th ed.) Citation

Natarajan, S. (1994). A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach.

Chicago Style (17th ed.) Citation

Natarajan, Surash. A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach. 1994.

MLA (9th ed.) Citation

Natarajan, Surash. A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach. 1994.

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