Decidable Model-Checking for a Resource Logic with Production of Resources.

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi

Browse the full ECAI paper archive.