%0
Generic
%T
General Algorithms for Permutations in Equational Inference
%A Avenhaus, Jürgen
%A Plaisted, David A.
%D 1999
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U http://slubdd.de/katalog?TN_libero_mab2