Stefan Brüning

• Techniques for avoiding redundancy in theorem proving based on the connection method