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