Hrg. Teimuraz Kutsia, Hrg. Andrew M. Marshall,
"Proceedings of The 34th International Workshop on Unification, UNIF 2020"
, Serie RISC Report Series, Nummer 20-10, RISC, JKU, Hagenberg, Linz, 2020
Original Titel:
Proceedings of The 34th International Workshop on Unification, UNIF 2020