Vol-2392⫷ Vol-2393 ⫸Vol-2394
urn:nbn:de:0074-2393-0


Vol-2393/paper_298⫷Vol-2393/paper_317⫸Vol-2393/paper_376
Liudmyla OmelchukOlena Shyshatska

Extending the SMT-Lib Standard with Theory of Nominative Data