Witold Charatonik: Regular directional types for logic programs. PPDP 2007: 209