Frage zu Artikel "Symposium on Logic in Computer Science 6th : 1991"