ARGOS/V: A System for Verification of Prolog Programs. - Tadashi Kanamori; Hiroshi Fujita; Hirohisa Seki; Kenji Horiuchi; Machi Maeji (FJCC, 1986)