Decidable Model-Checking for a Resource Logic with Production of Resources. - Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Raimondi, Franco (2014)