Georg Lausen Heinz Uphoff Nicht-Monotone Vererbung in F-Logik. 105-109 1992 Grundlagen von Datenbanken db/conf/gvd/gvd92.html#LausenU92