BibTeX record conf/deductive/Caseau90

download as .bib file

@inproceedings{DBLP:conf/deductive/Caseau90,
  author    = {Yves Caseau},
  title     = {Extending Object-Oriented Deduction Towards Constraint Logic Programming},
  booktitle = {Workshop on Deductive Databases},
  series    = {Technical Report},
  volume    = {{TR-CS-90-14}},
  publisher = {Kansas State University},
  year      = {1990}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics