General A- and AX-Unification via Optimized Combination Procedures

From International Center for Computational Logic

Toggle side column

General A- and AX-Unification via Optimized Combination Procedures

Franz BaaderFranz Baader,  K.U. SchulzK.U. Schulz
General A- and AX-Unification via Optimized Combination Procedures


Franz Baader, K.U. Schulz
General A- and AX-Unification via Optimized Combination Procedures
Proceedings of the Second International Workshop on Word Equations and Related Topics, IWWERT-91, volume 677 of Lecture Notes in Computer Science, 23-42, 1992. Springer
The final publication is available at Springer.
@inproceedings{ BaaderSchulz-IWWERT-91,
  address = {Rouen (France)},
  author = {F. {Baader} and K.U. {Schulz}},
  booktitle = {Proceedings of the Second International Workshop on Word Equations and Related Topics, {IWWERT-91}},
  pages = {23--42},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {General {A}- and {AX}-Unification via Optimized Combination Procedures},
  volume = {677},
  year = {1992},
}