Lorenzen-Style Strategies as Proof-Search Strategies.

Matteo Acclavio, Davide Catta

Browse the full EUMAS paper archive.