A completeness proof technique for resolution with equality - Baumgartner, Peter (1991)