| |
| 1994 | ||
|---|---|---|
| 3 | R. K. Shyamasundar, Bal Wang: A Methodology for Provin Termination of Logic Programs. J. Log. Program. 21(1): 1-30 (1994) | |
| 1991 | ||
| 2 | Bal Wang, R. K. Shyamasundar: Methodology for Proving the Termination of Logic Programs. STACS 1991: 214-227 | |
| 1990 | ||
| 1 | Bal Wang, R. K. Shyamasundar: Towards a Characterization of Termination of Logic Programs. PLILP 1990: 204-221 | |
| 1 | R. K. Shyamasundar | [1] [2] [3] |