T-String Unification: Unifying Prefixes in Non-classical Proof Methods

linTAP: A Tableau Prover for Linear Logic

TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Resolution Method for Modal Logic with Well-Founded Frames

CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic

JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning

Connections in nonclassical logics

Handbook of automated reasoning

leanCoP: lean connection-based theorem proving

Journal of Symbolic Computation - Special issue: First order theorem proving

A Matrix Characterization for Multiplicative Exponential Linear Logic

Journal of Automated Reasoning

Disjunction and modular goal-directed proof search

ACM Transactions on Computational Logic (TOCL)

leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning

Intuitionistic Letcc via Labelled Deduction

Electronic Notes in Theoretical Computer Science (ENTCS)

Exploring the relation between intuitionistic bi and boolean bi: An unexpected embedding

Mathematical Structures in Computer Science

Restricting backtracking in connection calculi

AI Communications - Practical Aspects of Automated Reasoning

A connection-based characterization of bi-intuitionistic validity

CADE'11 Proceedings of the 23rd international conference on Automated deduction

Clausal connection-based theorem proving in intuitionistic first-order logic

TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods