>You might want to explore an implementation of >http://www.lsv.fr/~schmitz/pub/expamb.pdf into Bison. Why not take this implementation to upstream? If you need help from Schmitz or if he should sign some document, well, contact him. I think he will be happy to know you want to take his changes to upstream
== Askar Safin http://vk.com/safinaskar