@book
{TN_libero_mab2,
author = {
Geser, Alfons
},
title = {
On a monotonic semantic path ordering
},
publisher = {Univ., Fak. für Informatik},
keywords = {
Rewriting systems (Computer science)
},
year = {1992},
booktitle = {Ulmer Informatik-Berichte ; 92,13},
address = {
Ulm
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}