Generalised Coinduction (2001)

by Falk Bartels , Generalised Coinduction , F. Bartels
Citations:17 - 3 self