Alechina, N., Bulling, N., Logan, B., & Nguyen, H. N. (2017). The virtues of idleness: a decidable fragment of resource agent logic. Artificial Intelligence, 245, 56-85. https://doi.org/10.1016/j.artint.2016.12.005