Deciding and Interpolating Algebraic Data Types by Reduction.

Hossein Hojjat, Philipp Rmmer

Browse the full SYNASC paper archive.