TY -
BOOK
AU - Margaria-Steffen, Tiziana
AU - Steffen, Bernhard
AU - Rheinisch-Westfälische Technische Hochschule Aachen Fachgruppe Informatik
TI -
Distinguishing formulas for free
PB - RWTH, Fachgruppe Informatik
KW - Bericht
PY - 1992
BT - Aachener Informatik-Berichte ; 92,23
CY - Aachen
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -