On different proof-search strategies for orthologic
scientific article; zbMATH DE number 1901328