Christian Schlepphorst Ein seminaiver Evaluierungsalgorithmus für F-Logik. 77-81 1997 Grundlagen von Datenbanken db/conf/gvd/gvd97.html#Schlepphorst97