TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT LoRW+ DAN LoR+ - LUKITO, INDRIYO (2009)