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.
@inproceedings{KanamoriFSHM86,
title = {ARGOS/V: A System for Verification of Prolog Programs},
author = {Tadashi Kanamori and Hiroshi Fujita and Hirohisa Seki and Kenji Horiuchi and Machi Maeji},
year = {1986},
tags = {Prolog, program verification},
researchr = {https://researchr.org/publication/KanamoriFSHM86},
cites = {0},
citedby = {0},
pages = {994-998},
booktitle = {Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA},
publisher = {IEEE Computer Society},
isbn = {0-8186-0743-2},
}