The following publications are possibly variants of this publication:
- A Semantic Basis for the Termination Analysis of Logic ProgramsMichael Codish, Cohavit Taboch. jlp, 41(1):103-123, 1999.
- Efficient Analysis of Concurrent Constraint Logic ProgramsMichael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough. icalp 1993: 633-644
- A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm ConstraintsMichael Codish, Cohavit Taboch. icalp 1997: 31-45
- A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm ConstraintsMichael Codish, Cohavit Taboch. agp 1997: 545-556
- Efficient Analysis of Reactive Properties of Concurrent Constraint Logic ProgramsMichael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough. SAS 1992: 35-42
- A Confluent Calculus for Concurrent Constraint ProgrammingKim Marriott, Martin Odersky. TCS, 173(1):209-233, 1997. [doi]