General A- and AX-Unification via Optimized Combination Procedures

Franz BaaderFranz Baader, K. SchulzK. Schulz

Franz Baader, K. Schulz
General A- and AX-Unification via Optimized Combination Procedures
Technical Report, Universität München, volume 92-58, 1992. {CIS}-Report

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ CIS-92-58,
  author = {F. {Baader} and K. {Schulz}},
  institution = {Universit\"at M\"unchen},
  number = {92-58},
  title = {General {A}- and {AX}-Unification via Optimized Combination Procedures},
  type = {{CIS}-Report},
  year = {1992},
}