@InProceedings{EscMesSasCFVP08,
  author = 	 {Santiago Escobar and Jos{\'e} Meseguer and Ralf Sasse},
  title = 	 {Effectively Checking the Finite Variant Property},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {In RTA2008: Rewriting Techniques and Applications, to appear},
  OPTpages = 	 {},
  year = 	 {2008},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}