Logical inference for inverse problems | Publicación