Volha Kerhet, Enrico Franconi. On Checking Domain Independence. In Francesca A. Lisi, editor, Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. Volume 857 of CEUR Workshop Proceedings, pages 246-250, CEUR-WS.org, 2012. [doi]
Abstract is missing.