מיכאל קודיש

Type Dependencies for Logic Programs Using ACI-Unification