A Unifying Approach to Recursive and Co-recursive Definitions (2002)

by Pietro Di Gianantonio , Marino Miculan
Venue:IN [5
Citations:19 - 1 self