Applications of Automated Reasoning.

Ulrich Furbach, Claudia Obermaier

Browse the full KI paper archive.