Characterisations of Termination in Logic Programming (2001)

Cached

Download Links

by Dino Pedreschi , Salvatore Ruggieri , Jan-Georg Smaus
Venue:Theoretical Computer Science
Citations:6 - 3 self