Parsing/Theorem-Proving for Logical Grammar CatLog3 | Publicación