Flatness is not a weakness (2000)

by H Comon, V Cortier
Venue:in Computer Science Logic, Proc. 14th Annual Conf. of the EACSL, eds. P. Clote and H. Schwichtenberg