Generalised Coinduction (2001)

by Falk Bartels
Citations:29 - 3 self