Editable Biblio is accessible from the internal network (or through VPN): http://10.10.24.239:8080/biblio/?section=publication&id=-3721755345197496447&mode=view

Roman Barták, Vladislav Kuboň (2016): Using a Grammar Checker to Validate Compliance of Processes with Workflow Models. In: Proceedings of the 15th Mexican International Conference on Artificial Intelligence, pp. 1-16, Springer, Heidelberg (bibtex)