A note on linear resolution strategies in consequence-finding

Abstract
No abstract available