DS-1995-13: Marianne Kalsbeek Meta-Logics for Logic Programming 1.Abstract, 2.Samenvatting, 3.Full Text (DJVU), 4.Full Text (PDF). < Back