@book{653643, author = {Rao, B. Balachandra. and Bharadwaj, K. K. and School of Computer and Systems Sciences}, title = {Symbolic calculus through prolog /}, publisher = {Jawaharlal Nehru University,}, year = {1987.}, address = {New Delhi :}, url = {http://etd.lib.jnu.ac.in/TH2173.pdf} }