@Article{Backofen:1995,
      AUTHOR = {Backofen, Rolf},
      TITLE = {A Complete Axiomatization of a Theory with Feature and Arity Constraints},
      YEAR = {1995},
      JOURNAL = {The Journal of Logic Programming},
      VOLUME = {24},
      PAGES = {37-72},
      URL = {ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/RR-94-35.dvi.Z ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/RR-94-35.entry ftp://lt-ftp.dfki.uni-sb.de/pub/papers/local/RR-94-35.ps.Z},
      ANNOTE = {COLIURL : Backofen:1995:CAT.pdf Backofen:1995:CAT.ps Backofen:1995:CAT.dvi}
}