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