S. W. Ambler, Business Rules, 2003.

A. Giurca, D. Ga?evi´cga?evi´c, and K. Taveter, Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, Information Science Reference, 2009.
DOI : 10.4018/978-1-60566-402-6

K. Kluza, G. J. Nalepa, and ?. ?ysik, Visual inference specification methods for modularized rulebases. Overview and integration proposal, Proceedings of the 6th Workshop on Knowledge Engineering and Software Engineering (KESE6) at the 33rd German Conference on Artificial Intelligence, pp.6-17, 2010.

R. M. Dijkman, M. Dumas, and C. Ouyang, Formal semantics and automated analysis of BPMN process models. preprint 7115, 2007.

V. S. Lam, FORMAL ANALYSIS OF BPMN MODELS: A NuSMV-BASED APPROACH, International Journal of Software Engineering and Knowledge Engineering, vol.20, issue.07, pp.987-1023, 2010.
DOI : 10.1142/S0218194010005079

C. Ouyang, M. P. Wil, M. D. Van-der-aalst, and A. H. Ter-hofstede, Translating BPMN to BPEL, 2006.

M. Wynn, H. Verbeek, W. Aalst, A. T. Hofstede, and D. Edmond, Business process verification ??? finally a reality!, Business Process Management Journal, vol.15, issue.1, pp.74-92, 2009.
DOI : 10.1108/14637150910931479

A. Lig?-eza, BPMN ? a logical model and property analysis, Decision Making in Manufacturing and Services, vol.5, pp.57-67, 2011.

A. Lig?-eza and G. J. Nalepa, Knowledge representation with granular attributive logic for XTTbased expert systems, FLAIRS-20: Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference, pp.530-535, 2007.

A. Lig?-eza and G. J. Nalepa, A study of methodological issues in design and development of rule-based systems: proposal of a new approach, Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, vol.12, issue.2, pp.117-137, 2011.
DOI : 10.1002/widm.11

G. J. Nalepa, Semantic Knowledge Engineering. A Rule-Based Approach, Wydawnictwa AGH, 2011.

G. J. Nalepa and A. Lig?-eza, The HeKatE methodology. Hybrid engineering of intelligent systems, International Journal of Applied Mathematics and Computer Science, vol.20, issue.1, pp.35-53, 2010.
DOI : 10.2478/v10006-010-0003-9

G. J. Nalepa and K. Kluza, UML REPRESENTATION FOR RULE-BASED APPLICATION MODELS WITH XTT2-BASED BUSINESS RULES, International Journal of Software Engineering and Knowledge Engineering, vol.22, issue.04, pp.485-524, 2012.
DOI : 10.1142/S021819401250012X

K. Kluza, T. Ma´slankama´slanka, G. J. Nalepa, and A. Lig?-eza, Proposal of Representing BPMN Diagrams with XTT2-Based Business Rules, Intelligent Distributed Computing V. Proceedings of the 5th International Symposium on Intelligent Distributed Computing ? IDC 2011 of Studies in Computational Intelligence, pp.243-248, 2011.
DOI : 10.1007/978-3-642-24013-3_25

S. Bobek, K. Kaczor, and G. J. Nalepa, Overview of rule inference algorithms for structured rule bases, Gdansk University of Technology Faculty of ETI Annals, vol.18, pp.57-62, 2010.

G. Nalepa, S. Bobek, A. Lig?-eza, and K. Kaczor, Algorithms for Rule Inference in Modularized Rule Bases, Rule-Based Reasoning , Programming, and Applications, pp.305-312, 2011.
DOI : 10.2478/v10006-010-0003-9

A. Lig?-eza, Logical Foundations for Rule-Based Systems, 2006.

A. Lig?-eza and M. Szpyrka, Reduction of Tabular Systems, Lecture Notes in Computer Science, vol.3070, pp.903-908, 2004.
DOI : 10.1007/978-3-540-24844-6_140

M. Negnevitsky, Artificial Intelligence. A Guide to Intelligent Systems, 2002.

J. C. Mogul and K. K. Ramakrishnan, Eliminating receive livelock in an interrupt-driven kernel, ACM Transactions on Computer Systems, vol.15, issue.3, pp.217-252, 1997.
DOI : 10.1145/263326.263335

A. Awad, G. Decker, and N. Lohmann, Diagnosing and Repairing Data Anomalies in Process Models, Business Process Management Workshops. Volume 43 of Lecture Notes in Business Information Processing, pp.5-16, 2010.
DOI : 10.1007/978-3-642-12186-9_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.4024

K. Kluza, K. Kaczor, and G. J. Nalepa, Enriching Business Processes with Rules Using the Oryx BPMN Editor, Artificial Intelligence and Soft Computing: 11th International Conference, pp.573-581, 2012.
DOI : 10.1007/978-3-642-29350-4_68

G. Nalepa, S. Bobek, A. Lig?-eza, and K. Kaczor, HalVA - Rule Analysis Framework for XTT2 Rules, Rule-Based Reasoning, Programming , and Applications, pp.337-344, 2011.
DOI : 10.1007/978-3-540-88808-6_4

K. Kluza, G. J. Nalepa, M. Szpyrka, A. Lig?-eza, and . Spain, Proposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods, 7th Workshop on Knowledge Engineering and Software Engineering (KESE2011) at the Conference of the Spanish Association for Artificial Intelligence, pp.15-23, 2011.

M. Szpyrka, G. J. Nalepa, A. Lig?-eza, and K. Kluza, Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language, Intelligent Distributed Computing V. Proceedings of the 5th International Symposium on Intelligent Distributed Computing ? IDC 2011 of Studies in Computational Intelligence, pp.249-255, 2011.
DOI : 10.1007/978-3-642-24013-3_26