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

Roman Barták, Vladislav Kuboň (2016): On Similarities Between Workflow Verification and Grammar Checking. In: Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, pp. 585-590, AAAI Press, Palo Alto, CA, USA, ISBN 978-1-57735-756-8 (bibtex)