Journal of logic and computation (Oxford Univ. Press, 1990)
2021 fortgesetzt als Online-Ausgabe