1 paper
Eunice Palmeira, Fred Freitas, Jens Otten
The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applie…