A Unified Approach to Theory Reasoning. Forschungsbericht 15/92 (1992)

by P Baumgartner, U Furbach, U Petermann