Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{ikebuchi:LIPIcs:2019:10531, author = {Mirai Ikebuchi}, title = {{A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods}}, booktitle = {4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)}, pages = {24:124:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771078}, ISSN = {18688969}, year = {2019}, volume = {131}, editor = {Herman Geuvers}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/10531}, URN = {urn:nbn:de:0030drops105312}, doi = {10.4230/LIPIcs.FSCD.2019.24}, annote = {Keywords: Term rewriting systems, Equational logic, Homological algebra} }
Keywords:  Term rewriting systems, Equational logic, Homological algebra  
Collection:  4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)  
Issue Date:  2019  
Date of publication:  18.06.2019 