22nd Annual IEEE Symposium on Logic in Computer Science
Subtitle: Wroclaw, Poland - 10-14 July 2007
ISBN-13: 9780769529080