Saarland University Computer Science


Computational Logic II Gert Smolka