An Improved General $E$-unification Method. Dougherty, D. J.\ & Johann, P. 1990.
bibtex   
@conference{ c_cade90,
  author = {Daniel J.\ Dougherty and Patricia Johann},
  title = {An Improved General {$E$}-unification Method},
  pages = {261--275},
  booktitle = {Proc.\ 10th International Conference on
                  Automated Deduction, Kaiserslautern (Germany)},
  year = {1990},
  editor = {M. Stickel},
  series = {Lecture Notes in Computer Science},
  volume = {449},
  abstract = {}
}

Downloads: 0