@conference {262,
	title = {Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties},
	booktitle = {Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013.},
	year = {2014},
	doi = {10.4204/EPTCS.139.4},
	url = {http://dx.doi.org/10.4204/EPTCS.139.4},
	author = {Germ{\'a}n Regis and Fernando Villar and Nicol{\'a}s Ricci}
}