Fibre products, non-positive curvature, and decision problems
scientific article; zbMATH DE number 1542501