ACM ACM Transactions on Computational Logic. -- Vol. 6, No. 3 (2005). -- 2005. In: ACM Transactions on Computational Logic. -- ISSN 1529-3785.