Adding a path connectedness operator to \(FO+poly(linear)\)
scientific article; zbMATH DE number 1973102