Peter A. Flach: First-Order Logic. Encyclopedia of Machine Learning 2010: 410-415