1. Chandru, V., Hooker, J.: Optimization Methods for Logical Inference. John Wiley & Sons (2011)
2. Luger, G.: Artificial Intelligence. Addison Wesley, England (2000)
3. Nowak, A., Siminski, R., Wakulicz-Deja, A.: Two-way optimizations of inference for rule knowledge bases. In: Proceedings of International Conference CS&P 2008, Concurrency, Specification and Programming, pp. 398–409 (2009)
4. Lecture Notes in Computer Science;A. Nowak-Brzezińska,2012
5. Online information: Reasoning About Rete (2001),
http://www.haley.com