"Linear Strategy for Boolean Ring Based Theorem Proving."

Jinzhao Wu, Zhuojun Liu (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics