A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints. - Michael Codish; Cohavit Taboch (APPIA-GULP-PRODE, 1997)

A Semantic Basis for the Termination Analysis of Logic Programs. - Michael Codish; Cohavit Taboch (J. Log. Program., 1999)

Improving Program Analyses, by Structure Untupling. - Michael Codish; Kim Marriott; Cohavit Taboch (J. Log. Program., 2000)