Computing queries with higher-order logics | Publicación