1
Published 2004
Birkhäuser
...Progress in Computer Science and Applied Logic...