Type dependencies for logic programs using ACI-unification (0)

by M Codish, V Lagoon
Venue:Theoretical Computer Science