Combination of compatible reduction orderings that are total on ground terms

Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1997.614917 ◽

2002 ◽

Author(s):

F. Baader

Download Full-text