%0 Conference Proceedings
%F vhma2008
%A Van Horn, David
%A Mairson, Harry G.
%T Deciding kCFA is complete for EXPTIME
%B ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming
%P 275-282
%I ACM
%C New York, NY, USA
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/van%20horn2008.pdf
%U http://doi.acm.org/10.1145/1411204.1411243
%D 2008
%K dyntyp