System for automatic generation of logical formulasRadosław Klimek, Katarzyna Grobler-Dębska and Edyta KucharskaMATEC Web Conf., 252 (2019) 03005DOI: https://doi.org/10.1051/matecconf/201925203005
