Automated Generation of Business Process Models using Constraint Logic Programming in Python - Tymoteusz Paszun; Piotr Wiśniewski; Krzysztof Kluza; Antoni Ligęza (Annals of computer science and information systems)