1. Hustadt, U., Motik, B., Sattler, U.: Data Complexity of Reasoning in Very Expressive Description Logics. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp. 471–477. Morgan Kaufmann Publishers (2005)
2. Liang, S., Fodor, P., Wan, H., Kifer, M.: OpenRuleBench: An Analysis of the Performance of Rule Engines. In: Proceedings of the 18th International Conference on World Wide Web, pp. 601–610. ACM (2009)
3. LNAI;J. Bak,2010
4. Bak, J., Jedrzejek, C., Falkowski, M.: Application of the SDL Library to Reveal Legal Sanctions for Crime Perpetrators in Selected Economic Crimes: Fraudulent Disbursement and Money Laundering. In: Palmirani, M., Omair Shafiq, M., Francesconi, E., Vitali, F. (eds.) Proceedings of the 4th International RuleML 2010 Challenge, Washington, DC, USA, October 21-23, vol. 649 (2010)
5. Springer series in symbolic computation;J.W. Lloyd,1987