Generalised Coinduction (2000)

by Falk Bartels
Citations:28 - 3 self