Belardinelli and Lomuscio. "Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems." International Joint Conference on Artificial Intelligence, 2013.
Markdown
[Belardinelli and Lomuscio. "Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/belardinelli2013ijcai-decidability/)
BibTeX
@inproceedings{belardinelli2013ijcai-decidability,
title = {{Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems}},
author = {Belardinelli, Francesco and Lomuscio, Alessio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {725-731},
url = {https://mlanthology.org/ijcai/2013/belardinelli2013ijcai-decidability/}
}