Combining A1- and AC1-Unification Sharing Unit

Alwen Fernanto TiuAlwen Fernanto Tiu

Alwen Fernanto Tiu
Combining A1- and AC1-Unification Sharing Unit
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-09, 2001

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{T2001,
  author      = {Alwen Fernanto Tiu},
  title       = {Combining A1- and {AC1-Unification} Sharing Unit},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {2001}
}