Decidable model-checking for a resource logic with production of resources - Hoang Nguyen (IOS Press, 2014)