%0 Conference Proceedings
%F grabmayer2005
%A Grabmayer, Clemens
%T Using Proofs by Coinduction to Find ``Traditional'' Proofs
%B Proc. 1st Conference on Algebra and Coalgebra in Computer Science (CALCO)
%N 3629
%S Lecture Notes in Computer Science (LNCS)
%I Springer
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/grabmeyer2005.pdf
%8 September
%D 2005
%K regexp
%K  coinduction