@Article{Backofen_Smolka:1995,
      AUTHOR = {Backofen, Rolf and Smolka, Gert},
      TITLE = {A Complete and Recursive Feature Theory},
      YEAR = {1995},
      JOURNAL = {Theoretical Computer Science},
      VOLUME = {146},
      NUMBER = {1-2},
      PAGES = {243-268},
      URL = {ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/RR-92-30.dvi.Z ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/RR-92-30.entry ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/RR-92-30.ps.Z},
      ANNOTE = {COLIURL : Backofen:1995:CRF.pdf Backofen:1995:CRF.ps Backofen:1995:CRF.dvi}
}