Research indexConcurrent pattern unificationGiven-Wilson2012Concurrent pattern unificationGiven-Wilson · 2012SaveCiteAdd to literature reviewDiscussionAdd to the discussionCitations11Cited by66ReferencesRelated papersMoreDetailsPublishedSuggest a correction or report