Integrating Deduction Techniques in a Software Reuse Application.

Thomas Baar Bernd Fischer Dirk Fuchs Integrating Deduction Techniques in a Software Reuse Application. 52-72 1999 5 J. UCS 3 db/journals/jucs/jucs5.html#BaarFF99 http://www.jucs.org/jucs_5_3/integrating_deduction_techniques_in