Brauße F., Korovin K., Korovina M., Müller N. Notes on implementing the ksmt-solver // Computer Science. — 2019. — # 43 — P. 15-19