HO Handbook of automated reasoning by Robinson, J. A., (John Alan), Voronkov, A., (Andrei) 0 Type: Book
