author = { Margaria-Steffen, Tiziana AND Steffen, Bernhard Rheinisch-Westfälische Technische Hochschule Aachen Fachgruppe Informatik },

title = { Distinguishing formulas for free },

publisher = {RWTH, Fachgruppe Informatik},

keywords = { Bericht },

year = {1992},

booktitle = {Aachener Informatik-Berichte ; 92,23},

address = { Aachen },

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