Derivation of logic programs from implicit definition - Kanamori, Tadashi; Maeji, Machi (1986)