%0 Conference Proceedings
%F kosm97
%A Kozen, D.
%A Smith, F.
%T Kleene algebra with tests: Completeness and decidability
%B Computer Science Logic
%P 244-259
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/kozen1997a.pdf
%D 1997
%K algexp