Monadic logic programs and functional complexity
scientific article; zbMATH DE number 1178868