A Simple Proof for the Sump2 Upper Bound of the Inequivalence Problem for Semilinear Sets.

Dung T. Huynh A Simple Proof for the Sump2 Upper Bound of the Inequivalence Problem for Semilinear Sets. 147-156 1986 22 Elektronische Informationsverarbeitung und Kybernetik 4 db/journals/eik/eik22.html#Huynh86