Imran Sarwar Bajwa, Behzad Bordbar, Kyriakos Anastasakis, Mark G. Lee. On a chain of transformations for generating alloy from NL constraints. In Simon Fong, Pit Pichappan, Sabah Mohammed, Patrick Hung, Sohail Asghar, editors, Seventh International Conference on Digital Information Management, ICDIM 2012, Macau, Macao, August 22-24, 2012. pages 93-98, IEEE, 2012. [doi]
Abstract is missing.