BibTeX record conf/slp/Moss95

download as .bib file

@inproceedings{DBLP:conf/slp/Moss95,
  author    = {Chris Moss},
  title     = {Logic and Objects (Tutorial Abstract)},
  booktitle = {{ILPS}},
  pages     = {609--611},
  publisher = {{MIT} Press},
  year      = {1995}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics