On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs | Publicación