From Vladimir Lifschitz: <<Right. T(min) is the early form of circumscription defined by John [McCarthy] in "Epistemological problems of Artificial Intelligence," Proc. IJCAI-77. Later he called it "domain circumscription." T(max) seems to be new.>> Martin