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