On Different Proof-Search Strategies for Orthologic
Uwe Egly, Hans TompitsVolume:
73
Pages:
22
Journal:
Studia Logica
DOI:
10.1023/a:1022993408070
Date:
February, 2003
File:
PDF, 3.44 MB
2003