Multiple-Conclusion Logic by D.J. Shoesmith & T.J. Smiley