@inproceedings{conf/icalp/GottlobLS99, title = "Computing LOGCFL Certificates", author = "Georg Gottlob and Nicola Leone and Francesco Scarcello", year = "1999", booktitle = "{Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings}", editor = "Jir\'{\i} Wiedermann and Peter van Emde Boas and Mogens Nielsen", isbn = "3-540-66224-3", pages = "361-371", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://link.springer.de/link/service/series/0558/bibs/1644/16440361.htm", volume = "1644", }