The propositional logic of elementary tasks
scientific article; zbMATH DE number 1881633