Publikationen

In: Journal of Automated Reasoning (JAR) 41 3-4 Journal of Automated Reasoning Springer Netherlands 12/2008.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence