Short Resolution Proofs for a Sequence of Tricky Formulas.

Gunnar Stålmarck Short Resolution Proofs for a Sequence of Tricky Formulas. 277-280 1996 33 Acta Inf. 3 db/journals/acta/acta33.html#Stalmarck96