Krysia Broda A Decidable CLDS for Some Propositional Resource Logics. 135-159 2002 conf/birthday/2002kowalski2 Computational Logic: Logic Programming and Beyond http://dx.doi.org/10.1007/3-540-45632-5_6 db/conf/birthday/kowalski2002-2.html#Broda02