van Dalen, Dirk. Ed. Bezem, Marc. Ed.
Computer Science Logic 10th Int. Workshop, CSL'96, The Netherlands - Berlin Springer 1997 - 471 - Lecture notes in computer science ; 01258 .
3540631720
681 LNCS
Computer Science Logic 10th Int. Workshop, CSL'96, The Netherlands - Berlin Springer 1997 - 471 - Lecture notes in computer science ; 01258 .
3540631720
681 LNCS