Login / Signup
Herbrand Methods in Sequent Calculi: Unification in LL.
Serenella Cerrito
Published in:
JICSLP (1992)
Keyphrases
</>
significant improvement
expert systems