APA (7th ed.) Citation

Pradeep, B., & Siva Ram Murthy, C. (1995). A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes. Information sciences, 85(1), 175-184. https://doi.org/10.1016/0020-0255(95)00026-L

Chicago Style (17th ed.) Citation

Pradeep, B., and C. Siva Ram Murthy. "A Constant Time Algorithm for Theorem Proving in Propositional Logic on Reconfigurable Meshes." Information Sciences 85, no. 1 (1995): 175-184. https://doi.org/10.1016/0020-0255(95)00026-L.

MLA (9th ed.) Citation

Pradeep, B., and C. Siva Ram Murthy. "A Constant Time Algorithm for Theorem Proving in Propositional Logic on Reconfigurable Meshes." Information Sciences, vol. 85, no. 1, 1995, pp. 175-184, https://doi.org/10.1016/0020-0255(95)00026-L.