%0 Journal Article 
%F kozen2002
%A Kozen, D.
%T On the complexity of reasoning in Kleene algebra
%J Information and Computation
%V 179
%N 2
%P 152-162
%I Elsevier
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/kozen2002.pdf
%D 2002
%K regexp