SETHEO Goes Software Engineering: Application of ATP to Software Reuse.

Bernd Fischer, Johann Schumann

Browse the full CADE paper archive.