Non-Standard Logics for Automated Reasoning by Philippe Smets | Menrva Books | MenrvaBooks