Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2014). Decidable model-checking for a resource logic with production of resources. In ECAI 2014 (9-14). https://doi.org/10.3233/978-1-61499-419-0-9