%0 Conference Proceedings
%F cile91
%A Cichon, A.
%A Lescanne, P.
%T Polynomial Interpretations and the Complexity of Algorithms
%B Proc. 11th Int'l Conf. on Automated Deduction (CADE), Saratoga Springs, New York
%E Kapur, D.
%P 139-147
%I Springer
%8 June
%D 1992
%K sorting