@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} }
     |