author = {Temur Kutsia},
title = {{Sequence and Context Unification}},
language = {english},
year = {2013},
month = {December 20},
note = {Invited colloquium talk at Department of Computer Science, University of Porto, Portugal},
institution = {Department of Computer Science, University of Porto, Portugal}