Positive unit hyperresolution tableaux and their application to minimal model generation. (English) Zbl 0960.03006
MSC:
03B35
68T15