Proving Termination for Logic Programs by the Query-Mapping Pairs Approach (2004)

Cached

Download Links

by Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik
Venue:PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC
Citations:10 - 0 self