A method of spatial reasoning based on qualitative trigonometry
scientific article; zbMATH DE number 1189819
scientific article