Multiple-Conclusion Logic (1978)

by D J Shoesmith, T J Smiley