Francesco Belardinelli, Alessio Lomuscio. Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems.
23rd International Joint Conference on Artificial Intelligence (IJCAI13), Aug 2013, Beijing, China. pp.725--731.
⟨hal-00833309⟩