@InProceedings{BM00RTA,
      Author = "N. Bj{\o}rner and C. Mu{\~{n}}oz",
      Title  = "Absolute Explicit Unification",
      Booktitle = "Rewriting Techniques and Applications, 11th International 
                   Conference, RTA 2000",
      Address = {Norwich, U.K.},
      Month = {July},
      series = "Lecture Notes in Computer Science",
      volume = 1833,
      pages = "31--46",
      Year ={2000}}