Up a level |
Rangaswamy, SV and Chakrapani, N and Tikekar, VG (1980) A computational algorithm for the verification of tautologies in propositional calculus. In: Journal of Indian Institute of Science, 62 (A). pp. 71-81.
Chakrapani, N and Rangaswamy, SV and Tikekar, VG (1979) Development of a structured program for conversion to prenex normal form. In: Journal of the Indian Institute of Science, 61 (5). pp. 123-133.