TY - CONF T1 - Bounded Nondeterminism of Logic Programs T2 - ICLP Y1 - 1999 A1 - Dino Pedreschi A1 - Salvatore Ruggieri JF - ICLP ER -