Knuth-Bendix Completion with Modern Termination Checking (2006)

by Ian A. Wehrman
Venue:
Citations:5 - 1 self