Strictness detection in non-flat domains
1986 ◽
pp. 112-135
◽