A Logic Computational Framework to Query Dynamics on Complex Biological Pathways | Publicación