Introduction to Computational Logic: Lecture Notes. Universität des Saarlandes (2009)

by G Smolka