1
Published 1998
...Workshop on Computer Science Logic Brno, Česko)...
Book