Termination of Logic Programs with block Declarations Running in Several Modes (1998)

Cached

Download Links

by Jan Georg Smaus , Pat Hill , Andy King
Venue:Proceedings of the 10th Symposium on Programming Language Implementations and Logic Programming, LNCS
Citations:9 - 5 self