Authors: Codish, M Marriott, K Taboch, C

Citation: M. Codish et al., Improving program analyses by structure untupling, J LOGIC PR, 43(3), 2000, pp. 251-263

Authors: Codish, M Taboch, C

Citation: M. Codish et C. Taboch, A semantic basis for the termination analysis of logic programs, J LOGIC PR, 41(1), 1999, pp. 103-123