APA (7th ed.) Citation

(1986). Argus v, a system for verification of Prolog programs.

Chicago Style (17th ed.) Citation

Argus V, a System for Verification of Prolog Programs. Tokyo, Japan, 1986.

MLA (9th ed.) Citation

Argus V, a System for Verification of Prolog Programs. 1986.

Warning: These citations may not always be 100% accurate.