Editable Biblio is accessible from the internal network (or through VPN): http://10.10.24.239:8080/biblio/?section=publication&id=-8448131648976027238&mode=view
Markéta Lopatková, Martin Plátek, Petr Sgall (2007): Towards a Formal Model for Functional Generative Description: Analysis by Reduction and Restarting Automata. In: The Prague Bulletin of Mathematical Linguistics, ISSN 0032-6585, 87, pp. 7-26 (url, bibtex)