%0 Conference Proceedings
%F worthington2008
%A Worthington, J.
%T Automatic proof generation in Kleene algebra
%B Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
%V 4988
%P 382-396
%S Lecture Notes in Computer Science (LNCS)
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/worthington2008.pdf
%D 2008
%K regexp
%K  algexp