Original language | English |
---|---|
Pages (from-to) | 243-257 |
Number of pages | 15 |
Journal | Journal of Logic Programming |
Volume | 38 |
Issue number | 2 |
DOIs | |
Publication status | Published - Feb 1999 |
Keywords
- termination
- well-moded programs
- modular proofs
- LOGIC PROGRAMS
- PROVING TERMINATION
- PROLOG PROGRAMS