Rajeev Goré Linda Postniece Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic. 233-260 2010 20 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exn067 db/journals/logcom/logcom20.html#GoreP10