Superposition with Datatypes and Codatatypes.

Jasmin Christian Blanchette, Nicolas Peltier, Simon Robillard

Browse the full CADE paper archive.