Alechina, Natasha, Bulling, Nils, Logan, Brian, Nguyen, Hoang Nga, "The virtues of idleness: a decidable fragment of resource agent logic", Artificial Intelligence, 2017