Logic Journal of the Igpl

0.20354413986206