A Computational Logic Handbook: Formerly Notes and Reports in Computer Science and Applied Mathematics

Robert S. Boyer , J Strother Moore , Werner Rheinboldt