Knuth-Bendix completions of process algebra axiomatizations / G.J. AkkermanTerm rewriting analysis in process algebra / G.J. Akkerman, J.C.M. BaetenAn annotated bibliography of inductive learning since 1985 / G.J. AkkermanTerm rewriting analysis in process algebra / G.J. Akkerman, J.C.M. BaetenA refinement for nonmonotonic logic / G.J. AkkermanTractable deduction in some fragments of auto-epistemic logic / G.J. AkkermanTheory revision and inductive inference / G.J. AkkermanInductive inference, theory revision and non-monotonic logic / Gerrit Jan Akkerman