Items where Author is "Wang, Bal"

Group by: Item Type | No Grouping

Number of items: 1.

Wang, Bal ; Shyamasundar, R. K. (1994) A methodology for proving termination of logic programs The Journal of Logic Programming, 21 (1). pp. 1-30. ISSN 0743-1066

This list was generated on Sat Apr 4 14:04:20 2026 UTC.