[Up]
[Contents]
[Index]
[Summary]
3.5 Comparison and Unification or Terms
Section Index
3.5.1 Standard Order of Terms