Temur Kutsia, Andrew M. Marshall, editors, Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. 2020. [doi]
Conference: UNIF2020
@proceedings{unif-2020,
title = {Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020},
year = {2020},
url = {http://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf},
researchr = {https://researchr.org/publication/unif-2020},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020},
conference = {UNIF},
editor = {Temur Kutsia and Andrew M. Marshall},
}