ARGOS/V: A System for Verification of Prolog Programs.

Tadashi Kanamori Hiroshi Fujita Hirohisa Seki Kenji Horiuchi Machi Maeji ARGOS/V: A System for Verification of Prolog Programs. 994-998 1986 conf/fjcc/1986 FJCC db/conf/fjcc/fjcc86.html#KanamoriFSHM86