Marinov, V. G. (1973). Maximal clause length resolution.
Chicago-Zitierstil (17. Ausg.)Marinov, Vesko Genov. Maximal Clause Length Resolution. 1973.
MLA-Zitierstil (9. Ausg.)Marinov, Vesko Genov. Maximal Clause Length Resolution. 1973.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.