Sumit Ganguly, Sergio Greco, Carlo Zaniolo: Extrema Predicates in Deductive Databases. J. Comput. Syst. Sci. 51(2): 244-259 (1995)