1
Published 1997
...Workshop on Computer Science Logic Aarhus, Dánsko)...
Book