Introduction to the special issue on Verification and Computational Logic

MICHAEL LEUSCHEL, ANDREAS PODELSKI, C. R. RAMAKRISHNAN, ULRICH ULTES-NITSCHE
2004 Theory and Practice of Logic Programming  
doi:10.1017/s1471068404002078 fatcat:bx5c6xhinrduzlpb3kfulu6epe