Goal-directed proof search in multiple-conclusioned intuitionistc logic (2000)

by J Harland, T Lutovac, M Winikoff
Venue:In Proceedings of the First International Conference on Computational Logic, volume LNAI 1861