Jeff Z. Pan, Jianfeng Du: Automated Reasoning. Encyclopedia of Big Data Technologies 2019