Stefan BrĂ¼ning. Techniques for avoiding redundancy in theorem proving based on the connection method. PhD thesis, TH Darmstadt, 1994.
@phdthesis{books-daglib-0076712, title = {Techniques for avoiding redundancy in theorem proving based on the connection method}, author = {Stefan BrĂ¼ning}, year = {1994}, tags = {rule-based, redundancy}, researchr = {https://researchr.org/publication/books-daglib-0076712}, cites = {0}, citedby = {0}, school = {TH Darmstadt}, }