Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations.

Jan-Georg Smaus, Patricia M. Hill, Andy King

Browse the full LOPSTR paper archive.