Handbook of automated reasoning by Robinson, Alan, (J.A.), Voronkov, Andrej, (Andrej Aleksandrovič) 0 Type: Book
