Items where Author is "Wang, Bal"Group by: Item Type | No Grouping Jump to: Article Number of items: 1. ArticleWang, 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 |
| Login | Create Account |
![[up]](/style/images/multi_up.png)
Up a level