Towards Biresiduated Multi-adjoint Logic Programming | Publicación