"Automated Reasoning, Third International Joint Conference, IJCAR 2006, ..."

Ulrich Furbach, Natarajan Shankar (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics