Analyzing Chain Programs over Difference Constraints. - K. Subramani 001; John Argentieri (TAMC, 2006)

Chain Programming over Difference Constraints. - K. Subramani 001; John Argentieri (Nord. J. Comput., 2006)