Dependency MRS (DMRS) is a representation which may be interconverted with MRSs which are produced by grammars which obey the MRS algebra (with some wiggle room) and which also obey the characteristic variable property. More details will be added soon!
RmrsDmrsComparison: Efficient comparison of packed DMRSs