Keyword:Herbrand sequents

Publications
Herbrand's Theorem in Inductive Proofs Alexander Leitsch and Anela Lolic In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning