SMT-LIB Theory of Nominative Data.

Liudmyla Omelchuk, Olena Shyshatska

Browse the full ICTERI paper archive.