Adapting the Rete-Algorithm to Evaluate F-Logic Rules. - Florian Schmedding; Nour Sawas; Georg Lausen (RuleML, 2007)