@InProceedings{EscMesSasVNEU08,
  author = 	 {Santiago Escobar and Jos{\'e} Meseguer and Ralf Sasse},
  title = 	 {Variant Narrowing and Equational Unification},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Accepted at: 7th International Workshop on Rewriting Logic and its Applications},
  OPTpages = 	 {},
  year = 	 {2008},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}