Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic (2000)

by James Harland , Tatjana Lutovac , Michael Winikoff
Venue:In Proceedings of the First International Conference on Computational Logic, volume LNAI 1861
Citations:1 - 0 self