Paolo Atzeni Douglas Stott Parker Jr. Set Containment Inference and Syllogisms. 39-65 1988 62 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs62.html#AtzeniP88