Proof search in the intuitionistic sequent calculus

This publication has 10 references indexed in Scilit:

• Some applications of Gentzen's proof theory in automated deduction
  Published by Springer Nature ,2006
• Specifying theorem provers in a higher-order logic programming language
  Published by Springer Nature ,2005
• Uniform proofs as a foundation for logic programming
  Annals of Pure and Applied Logic, 1991
• Higher-order Horn clauses
  Journal of the ACM, 1990
• Investigations into proof-search in a system of first-order dependent function types
  Published by Springer Nature ,1990
• Gentzen-type systems and resolution rules part I propositional logic
  Lecture Notes in Computer Science, 1990
• First-Order Logic and Automated Theorem Proving
  Published by Springer Nature ,1990
• A decidable fragment of predicate calculus
  Theoretical Computer Science, 1984
• A man-machine theorem-proving system
  Artificial Intelligence, 1974
• Analog of Herbrand’s Theorem for Prenex Formulas of Constructive Predicate Calculus
  Published by Springer Nature ,1969