Stratified extended multi-adjoint logic programming | Publicación