Structural Subsumption for ALN

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Structural Subsumption for ALN

R. MolitorR. Molitor
R. Molitor
Structural Subsumption for ALN
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, Germany, volume LTCS-98-03, 1998. LTCS-Report
@techreport{ Molitor-LTCS-98-03,
  author = {R. {Molitor}},
  institution = {LuFG Theoretical Computer Science, RWTH Aachen, Germany},
  number = {LTCS-98-03},
  title = {Structural {S}ubsumption for {$\cal A\!L\!N$}},
  type = {LTCS-Report},
  year = {1998},
}