Осадчая И. А. (2012). Исследование производительности алгоритмов логического вывода. 2012.
Παραπομπή σε μορφή Chicago (17η εκδ.)Осадчая И. А. Исследование производительности алгоритмов логического вывода. 2012, 2012.
Παραπομπή σε μορφή MLA (9th εκδ.)Осадчая И. А. Исследование производительности алгоритмов логического вывода. 2012, 2012.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.