Logic and Its Applications

Publication Type:

Books

Source:

Lecture Notes in Computer Science, Springer , Number 5378, Berlin Heidelberg (2009)