%0 Conference Proceedings
%F leiss92b
%A Lei\ss, Hans
%T Towards {Kleene} Algebra with Recursion
%B CSL '91: Proceedings of the 5th Workshop on Computer Science Logic
%P 242-256
%I Springer-Verlag
%C London, UK
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/leiss1992.ps
%D 1992
%K algexp