On Goal-Directed Proofs in Multiple-Conclusioned Intuitionistic Logic

by James Harland , Tatjana Lutovac , Michael Winikoff