Simplifying Casts and Coercions (Extended Abstract). - Robert Y. Lewis; Paul-Nicolas Madelaine (PAAR+SC²@IJCAR, 2020)

Normalizing Casts and Coercions. - Robert Y. Lewis; Paul-Nicolas Madelaine (CoRR, 2020)