Assessing SMT and CLP approaches for workflow nets verification. - Bride, Hadrien; Kouchnarenko, Olga; Peureux, Fabien; Voiron, Guillaume (Int. J. Softw. Tools Technol. Transf., 2018)