Rakib, Abdur, Faruqui, Rokan Uddin, "Model checking ontology-driven reasoning agents using strategy and abstraction", Concurrency and Computation: Practice and Experience, 2021