Visualization of logical formulas - Radosław Klimek (Annals of computer science and information systems)