CLIPS - reference manual
Forward Backward Chaining
Doyle h 0945-high-availablity-cep-with-red_hat-j_boss_brms-3
Finding Semantic Matches Between Conceptual Graphs