Herbrand Methods in Sequent Calculi: Unification in LL (1992)

Cached

Download Links

by Serenella Cerrito
Venue:Proc. of the Joint International Conference and Symposium on Logic Programming
Citations:5 - 2 self