A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming | Publicación