P.H. Rodenburg, Characterization of the algebraic closure systems that can be represented by S+. Algebra Universalis 14 (1982) 263-264.

P.H. Rodenburg, Intuitionistic Correspondence Theory. Dissertation, University of Amsterdam, 165 pp., november 1986.

F.J. van der Linden & P.H. Rodenburg, Manufacturing a cartesian closed category with exactly two objects out of a c-monoid. Studia Logica XLVIII (1989) pp. 279-283.

P.H. Rodenburg, A simple algebraic proof of the equational interpolation theorem. Algebra Universalis 28 (1991) 48-51.

P.H. Rodenburg, Interpolation in conditional equational logic. Fundamenta Informaticae XV (1991) 80-85.

P.H. Rodenburg, The expressive force of some fragments of intuitionistic propositional logic with regard to Kripke frames. Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik 37, pp. 357-362 (1991).

J.A. Bergstra, I. Bethke & P.H. Rodenburg, A propositional logic with 4 values: true, false, divergent and meaningless. Journal of Applied Non-Classical Logics 5 (1995), 199-217.

I. Bethke & P.H. Rodenburg, Equational constructor induction. Fundamenta Informaticae XXV (1996) 1-15.

P.H. Rodenburg, Termination and confluence in infinitary term rewriting. Journal of Symbolic Logic 63 (1998), 1286-96.

P.H. Rodenburg, A complete system of four-valued logic. Journal of Applied Non-Classical Logics 11 (2001), pp. 367-89.

Bas Luttik, Piet Rodenburg & Rakesh Verma, Remarks on Thatte's transformation of term rewriting systems, Information and Computation 195 (2004), 66-87.

P.H. Rodenburg, Piecewise initial algebra semantics. Journal of Logic and Algebraic Programming, Volume 74 (2007), pp. 1-31.

P.H. Rodenburg, Iteratively algebraic orders, arXiv:0810.4705, 2010.