[ifip-tc6] Journal "Logical Methods in CS"