Higher order rule characterization of heuristics of compass and straight edge constructions in geometry
scientific article; zbMATH DE number 3453138