Minimised Residue Hypotheses in Relevant Logic.

Bertram Fronhfer, Akihiro Yamamoto

Browse the full ALT paper archive.