Generating power of lazy semantics (1997)

by J Karczmarczuk
Venue:Theoretical Computer Science