APA (7th ed.) Citation

Крывый, С., Волошин, С., & Маркова, Н. (2008). Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний. Інститут програмних систем НАН України.

Chicago Style (17th ed.) Citation

Крывый, С.Л, С.В Волошин, and Н.С Маркова. Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний. Інститут програмних систем НАН України, 2008.

MLA (8th ed.) Citation

Крывый, С.Л, et al. Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний. Інститут програмних систем НАН України, 2008.

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