%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:38 +0100 GMT
%    
% Selection : Reference #78
%




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