Michael Codish, Vitaly Lagoon: Type Dependencies for Logic Programs Using ACI-Unification. ISTCS 1996: 136-145