Structural Subsumption for ALN

From International Center for Computational Logic
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},
}