Generalised Coinduction (2001)

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