Jan-Georg Smaus Analysis of Polymorphically Typed Logic Programs Using ACI-Unification http://arxiv.org/abs/cs.LO/0105007 2001 CoRR cs.LO/0105007 db/journals/corr/corr0105.html#cs-LO-0105007