Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic | Publicación