Browse Dept. of Computer Science by Subject "Well-founded recursive theory, order-sorted rewriting modulo axioms, termination, confluence, sufficient completeness"