@book{63496, title = {ICALP}, publisher = {ICALP}, year = {1985-}, address = {Lisboa} }