Combination Techniques and Decision Problems for Disunification

F. BaaderF. Baader, K. SchulzK. Schulz

F. Baader, K. Schulz
Combination Techniques and Decision Problems for Disunification
Technical Report, {D}eutsches {F}orschungszentrum für {K}ünstliche {I}ntelligenz, Kaiserslautern, volume {RR}-93-05, 1993. {DFKI} Research Report

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ DFKI-RR-93-05,
  author = {F. {Baader} and K. {Schulz}},
  institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
  number = {{RR}-93-05},
  title = {Combination Techniques and Decision Problems for Disunification},
  type = {{DFKI} Research Report},
  year = {1993},
}