Frage zu Artikel "Logic in Computer Science : 7th Annual Sym -.."