Author: Algebraic and logic programming (3rd 1992 Volterra, Italy,)