@workingPaper{Nutt_1992,
title={Unification in monoidal theories is solving linear equations over semirings},
author={Nutt, Werner},
doi={http://dx.doi.org/10.22028/D291-24991},
year={1992}
}