%0
Book
%T
Using SOS definitions in term rewriting proofs
%A
Buth, Karl-Heinz
%I
Inst. für Informatik und Praktische Mathematik
%D
1992
%C
Inst. für Informatik und Praktische Mathematik
%C
Kiel
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation