DBLP Record 'conf/wlp/DeckerL94'

BibTeX

@inproceedings{DBLP:conf/wlp/DeckerL94,
  author    = {Stefan Decker and
               Christoph Lingenfelder},
  title     = {{\"U}berpr{\"u}fung von Integrit{\"a}tsbedingungen in
               deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung},
  booktitle = {WLP},
  year      = {1994},
  pages     = {61-64},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}