author = { Avenhaus, Jürgen AND Plaisted, David A. },

title = { General Algorithms for Permutations in Equational Inference },

year = {1999},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }