Workshop on computer science logic :Aarhus, Danemark, European Association for Computer Science Logic. Conference, Nielsen, M. P., & Thomas, W. Computer science logic: 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings. Springer.
Chicago-Zitierstil (17. Ausg.)Workshop on computer science logic :Aarhus, Danemark, European Association for Computer Science Logic. Conference, Mogens Peter Nielsen, und Wolfgang Thomas. Computer Science Logic: 11th International Workshop, CSL '97 : [6th] Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : Procedings. Berlin [etc.]: Springer.
MLA-Zitierstil (8. Ausg.)Workshop on computer science logic :Aarhus, Danemark, et al. Computer Science Logic: 11th International Workshop, CSL '97 : [6th] Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : Procedings. Springer.