@dblp

A Strafunski Application Letter.

, and . PADL, volume 2562 of Lecture Notes in Computer Science, page 357-375. Springer, (2003)

Links and resources

Tags