Automated Reasoning in the Wild.

Ulrich Furbach, Bjrn Pelzer, Claudia Schon

Browse the full CADE paper archive.