TY  - RPRT
TI  - Verification of confliction and unreachability in rule-based expert systems with model checking
AU  - Einollah pira
AU  - Mohammad Reza Zand Miralvand
AU  - Fakhteh Soltani
PY  - 2014
UR  - https://arxiv.org/abs/1404.2768
ID  - 1404.2768
ER  -