WeyhrauchT94'

@inproceedings{DBLP:conf/birthday/WeyhrauchT94,
  author    = {Richard W. Weyhrauch and
               Carolyn L. Talcott},
  title     = {The Logic of FOL Systems: Formulated in Set Theory},
  booktitle = {Logic, Language and Computation},
  year      = {1994},
  pages     = {119-132},
  ee        = {http://dx.doi.org/10.1007/BFb0032398},
  crossref  = {DBLP:conf/birthday/1994takasu},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/birthday/1994takasu,
  editor    = {Neil D. Jones and
               Masami Hagiya and
               Masahiko Sato},
  title     = {Logic, Language and Computation, Festschrift in Honor of
               Satoru Takasu},
  booktitle = {Logic, Language and Computation},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {792},
  year      = {1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}