%0 Book
%T Distinguishing formulas for free
%A Margaria-Steffen, Tiziana
%A Steffen, Bernhard
%A Rheinisch-Westfälische Technische Hochschule Aachen Fachgruppe Informatik
%I RWTH, Fachgruppe Informatik
%K Bericht
%D 1992
%C RWTH, Fachgruppe Informatik
%C Aachen
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation