Computer-Aided Reasoning