Inoue, K. (1991). Linear resolution for consequence-finding.
Chicago-Zitierstil (17. Ausg.)Inoue, Katsumi. Linear Resolution for Consequence-finding. Tokyo, Japan, 1991.
MLA-Zitierstil (9. Ausg.)Inoue, Katsumi. Linear Resolution for Consequence-finding. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.