Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{toran_et_al:LIPIcs.CSL.2022.36, author = {Tor\'{a}n, Jacobo and W\"{o}rz, Florian}, title = {{Number of Variables for Graph Differentiation and the Resolution of GI Formulas}}, booktitle = {30th EACSL Annual Conference on Computer Science Logic (CSL 2022)}, pages = {36:136:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959772181}, ISSN = {18688969}, year = {2022}, volume = {216}, editor = {Manea, Florin and Simpson, Alex}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2022/15756}, URN = {urn:nbn:de:0030drops157564}, doi = {10.4230/LIPIcs.CSL.2022.36}, annote = {Keywords: Proof Complexity, Resolution, Narrow Width, Graph Isomorphism, kvariable fragment firstorder logic 𝔏\underlinek, Immerman’s Pebble Game, Symmetry Rule, SRC1} }
Keywords:  Proof Complexity, Resolution, Narrow Width, Graph Isomorphism, kvariable fragment firstorder logic 𝔏_k, Immerman’s Pebble Game, Symmetry Rule, SRC1  
Collection:  30th EACSL Annual Conference on Computer Science Logic (CSL 2022)  
Issue Date:  2022  
Date of publication:  27.01.2022 