Bal Wang

	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

Coauthor Index

1

R. K. Shyamasundar

[1] [2] [3]