A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
MICHAEL LEUSCHEL, ANDREAS PODELSKI, C. R. RAMAKRISHNAN, ULRICH ULTES-NITSCHE. "Introduction to the special issue on Verification and Computational Logic." Theory and Practice of Logic Programming 4.5-6 (2004) 543-544