Bounded Relational Analysis of Free Data Types.

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif

Browse the full TAP paper archive.