%0 Conference Proceedings
%F here97b
%A Henglein, Fritz
%A Rehof, Jakob
%T The Complexity of Subtype Entailment for Simple Types
%B Proc.\ 12th Annual IEEE Symposium on Logic in Computer Science (LICS), Warsaw, Poland
%P 352-361
%I IEEE Computer Society
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/henglein1997b.pdf
%8 July
%D 1997
%K rectype