A Decision Procedure for String to Code Point Conversion.

Andrew Reynolds, Andres Ntzli, Clark W. Barrett, Cesare Tinelli

Browse the full CADE paper archive.