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

View PDF

Download Links

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