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