SPECIAL ISSUES ARCHIVE OF 2004
Selected Papers of the 2004 IEEE Symposium on Logic in Computer Science Editor: Andrei Voronkov