NEST: A Compositional Approach to Rule-Based and Case-Based Reasoning

Figure 6

Function GLOB for logical inference mechanism.