Rakib, A., & Faruqui, R. U. (2021). Model checking ontology-driven reasoning agents using strategy and abstraction. Concurrency and Computation: Practice and Experience, 33(2), Article e5205. https://doi.org/10.1002/cpe.5205