D. Z. Flores

Signed Formulae as a New Update Process

Fernando Zacarías Flores, Rosalba Cuapa Canto, L. G. Muñoz, 2009, Encyclopedia of Artificial Intelligence.