118
Voted
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...