A Transformational Methodology for Proving Termination of Logic Programs (1991)

Cached

Download Links

by M. R. K. Krishna Rao , Deepak Kapur , R. K. Shyamasundar
Citations:34 - 5 self