C.: Soft typing for ordered resolution (1997)

by H Ganzinger, C Meyer, Weidenbach