The virtues of idleness: a decidable fragment of resource agent logic
scientific article; zbMATH DE number 6689856
scientific article