Long-distance mutual exclusion for planning
scientific article; zbMATH DE number 5600141
scientific article