Author:
Publication: Artificial Intelligence
The virtues of idleness: A decidable fragment of resource agent logic
An initial study of time complexity in infinite-domain constraint satisfaction