@inproceedings{goriac-lucanu-rosu-2010-icfem, title = {Automating Coinduction with Case Analysis}, author = {Goriac, Eugen-Ioan and Lucanu, Dorel and Ro\c{s}u, Grigore}, booktitle = {Twelfth International Conference on Formal Engineering Methods (ICFEM'10)}, year = {2010}, series = {Lecture Notes in Computer Science}, volume = {6447}, pages = {220-236}, publisher = {Springer} }