Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
scientific article; zbMATH DE number 6696080
scientific article