A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry
2015
Logical Methods in Computer Science
An algorithm for unification modulo one-sided distributivity is an early result by Tid\'en and Arnborg. More recently this theory has been of interest in cryptographic protocol analysis due to the fact that many cryptographic operators satisfy this property. Unfortunately the algorithm presented in the paper, although correct, has recently been shown not to be polynomial time bounded as claimed. In addition, for some instances, there exist most general unifiers that are exponentially large with
doi:10.2168/lmcs-11(2:11)2015
fatcat:tcjmrfmvnzghbbbzsgqpsnidla