Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{das_et_al:LIPIcs.FSCD.2021.14, author = {Das, Anupam and Rice, Alex A.}, title = {{New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial}}, booktitle = {6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)}, pages = {14:114:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771917}, ISSN = {18688969}, year = {2021}, volume = {195}, editor = {Kobayashi, Naoki}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2021/14252}, URN = {urn:nbn:de:0030drops142525}, doi = {10.4230/LIPIcs.FSCD.2021.14}, annote = {Keywords: rewriting, linear inference, proof theory, linear logic, implementation} }
Keywords:  rewriting, linear inference, proof theory, linear logic, implementation  
Collection:  6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)  
Issue Date:  2021  
Date of publication:  06.07.2021  
Supplementary Material: 
An associated implementation can be found here: Software (Source Code): https://github.com/alexarice/lin_inf archived at: https://archive.softwareheritage.org/swh:1:dir:47d6487bfda3d3848d7289f3b5cfae1824e2ae78 