Meta-logics for logic programming by M.B. Kalsbeek