A logic of situated resource-bounded agents
scientific article; zbMATH DE number 5532551