Uwe Egly, Hans Tompits. On Different Proof-Search Strategies for Orthologic. Studia Logica, 73(1):131-152, 2003.
@article{EglyT03,
title = {On Different Proof-Search Strategies for Orthologic},
author = {Uwe Egly and Hans Tompits},
year = {2003},
tags = {search},
researchr = {https://researchr.org/publication/EglyT03},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {73},
number = {1},
pages = {131-152},
}