How can we prove that a proof search method is not an instance of another?

Published in: CoRR (2023)

Keyphrases