%0 Journal Article %1 journals/ndjfl/Wagner86 %A Wagner, Steven J. %D 1986 %J Notre Dame J. Formal Log. %K dblp %N 3 %P 430-455 %T California semantics meets the great fact. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl27.html#Wagner86 %V 27

@article{journals/ndjfl/Wagner86, added-at = {2020-05-21T00:00:00.000+0200}, author = {Wagner, Steven J.}, biburl = {https://www.bibsonomy.org/bibtex/211c9951e0695e9ce830317d4618befe8/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093636684}, interhash = {1dd998c371ec542670888c5f7f1bed70}, intrahash = {11c9951e0695e9ce830317d4618befe8}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 3, pages = {430-455}, timestamp = {2020-05-23T12:17:50.000+0200}, title = {California semantics meets the great fact.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl27.html#Wagner86}, volume = 27, year = 1986 }