Automated practical reasoning by Dongming Wang | Menrva Books | MenrvaBooks