Preventing Instantiation Errors and Loops for Logic Programs with Several Modes Using block Declarations (Extended Abstract) (1998)

Cached

Download Links

by Jan-Georg Smaus , Pat Hill , Andy King
Venue:Proceedings of LOPSTR'98, LNCS
Citations:6 - 5 self