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. SchulzK. Schulz
General A- and AX-Unification via Optimized Combination Procedures


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
@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},
}