Symbolic logic and its decision procedures - Balasubramanian, P (University of Madras, 1980)