Automated reasoning : introduction and applications - Wos, Larry