System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.

Sylvia Grewe, Sebastian Erdweg, Andr Pacak, Mira Mezini

Browse the full PPDP paper archive.