Resolution with Feature Unification.

Karl-Hans Blsius, Ulrich Hedtstck

Browse the full CSL paper archive.