Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{okada:LIPIcs:2013:4052, author = {Mitsuhiro Okada}, title = {{Husserl and Hilbert on Completeness and Husserl's Term Rewritebased Theory of Multiplicity (Invited Talk)}}, booktitle = {24th International Conference on Rewriting Techniques and Applications (RTA 2013)}, pages = {419}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897538}, ISSN = {18688969}, year = {2013}, volume = {21}, editor = {Femke van Raamsdonk}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2013/4052}, URN = {urn:nbn:de:0030drops40524}, doi = {10.4230/LIPIcs.RTA.2013.4}, annote = {Keywords: History of term rewrite theory, Husserl, Hilbert, proof theory, KnuthBendix completion} }
Keywords:  History of term rewrite theory, Husserl, Hilbert, proof theory, KnuthBendix completion  
Seminar:  24th International Conference on Rewriting Techniques and Applications (RTA 2013)  
Issue Date:  2013  
Date of publication:  14.06.2013 