Journal of Logic and Computation

0.052895069122314