Exploring Automated Reasoning in First-Order Logic: Tools, Techniques and Application Areas. - Vladimir Pavlov; Alexander Schukin; Tanzilia Cherkasova (KESW, 2013)

Plagiarism Detection in SQL Student Assignments. - Nikolai Scerbakov; Alexander Schukin; Oleg Sabinin (ICL (2), 2017)