Datatypes with Shared Selectors.

Andrew Reynolds, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli, Clark W. Barrett

Browse the full CADE paper archive.