Marius Brezovan, Costin Badica. Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining. In Costin Badica, Yannis Manolopoulos, Mirel Cosulschi, George Eleftherakis, Florin Leon, editors, Proceedings of the 7th Balkan Conference on Informatics Conference, BCI '15, Craiova, Romania, September 2-4, 2015. pages 7, ACM, 2015. [doi]
Abstract is missing.