Ranked Enumeration of MSO Logic on Words.

Pierre Bourhis, Alejandro Grez, Louis Jachiet, Cristian Riveros

Browse the full ICDT paper archive.