ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (NEW YORK ASSOCIATION FOR COMPUTING MACHINERY, 2000)