Keyword(s) : implicit theories