Progress in computer science and applied logic ;