Keyword:Rete

Publications
Efficient Rule-Matching for Hyper-Tableaux Bjarne Holen, Dag Hovland and Martin Giese In:IWIL 2012. The 9th International Workshop on the Implementation of Logics