@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}
}