Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji. ARGOS/V: A System for Verification of Prolog Programs. In Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA. pages 994-998, IEEE Computer Society, 1986.
Abstract is missing.