Herbrand methods in sequent calculi: Unification in ll (1992)

by S Cerrito
Venue:Proc. of the Joint International Conference and Symposium on Logic Programming