Felix Sheng-Ho Chang, Daniel Jackson. Symbolic model checking of declarative relational models. In Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa, editors, 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. pages 312-320, ACM, 2006. [doi]
Abstract is missing.