@book{10128,
	author = {McCune, William and Padmanabhan, Ranganathan,},
	title = {Automated deduction in equational logic and cubic curves /},
	publisher = {Springer,},
	year = {1996},
	address = {Berlin :}
}