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

by G Smolka