Automatic Termination Analysis of Logic Programs (1997)

Cached

Download Links

by Naomi Lindenstrauss , Yehoshua Sagiv
Venue:Proceedings of the Fourteenth International Conference on Logic Programming
Citations:66 - 3 self