The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete

From MaRDI portal
Publication:6373413