Talks and Poster Presentations (without Proceedings-Entry):
J. Rath:
"Subsumption Demodulation in First-Order Theorem Proving";
Talk: First International Workshop on Proof Theory for Automated Deduction, Automated Deduction for Proof Theory,
Funchal, Portugal;
2019-10-23
- 2019-10-25.