CabibboM94'

BibTeX

@inproceedings{DBLP:conf/sebd/CabibboM94,
  author    = {Luca Cabibbo and
               Giansalvatore Mecca},
  title     = {Model Finiteness and Funetionality in a Declarative Language
               with Oid Invention},
  booktitle = {SEBD},
  year      = {1994},
  pages     = {207-226},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}