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

Umberto Straccia, Manuel Ojeda-Aciego, Carlos Viegas Damásio,

URL	http://dx.doi.org/10.1137/070695976
Journal	SIAM Journal on Computing (SICOMP)
Publisher	Society for Industrial and Applied Mathematics
Volume	38
Number	5
URL	http://dx.doi.org/10.1137/070695976
Journal	SIAM Journal on Computing (SICOMP)
Publisher	Society for Industrial and Applied Mathematics
Volume	38
Number	5

Publication