%0 Journal Article %1 journals/ndjfl/Hammer94 %A Hammer, Eric %D 1994 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 73-87 %T Reasoning with Sentences and Diagrams. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl35.html#Hammer94 %V 35

@article{journals/ndjfl/Hammer94, added-at = {2020-05-21T00:00:00.000+0200}, author = {Hammer, Eric}, biburl = {https://www.bibsonomy.org/bibtex/2b7db249b25656385147ac27b88b284a2/dblp}, ee = {https://doi.org/10.1305/ndjfl/1040609295}, interhash = {bde8cbeb9d9c78b8000bb921c7b3f6fb}, intrahash = {b7db249b25656385147ac27b88b284a2}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {73-87}, timestamp = {2020-05-23T12:16:42.000+0200}, title = {Reasoning with Sentences and Diagrams.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl35.html#Hammer94}, volume = 35, year = 1994 }