Circular coinduction (2001)

by G Rosu, J Goguen
Venue:In International Joint Conference on Automated Reasoning