A Methodology For Proving Termination Of Logic Programs (1991)

by Bal Wang , R. K. Shyamasundar
Venue:JLP
Citations:10 - 1 self