A pseudo-algorithmic separation of lines from pseudo-lines
scientific article; zbMATH DE number 985884
scientific article