"Using the prover ANDP to simplify orthogonality."

Dafa Li (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics