%0 Journal Article %1 journals/jolli/MineshimaOT12 %A Mineshima, Koji %A Okada, Mitsuhiro %A Takemura, Ryo %D 2012 %J J. Log. Lang. Inf. %K dblp %N 3 %P 365-391 %T A Diagrammatic Inference System with Euler Circles. %U http://dblp.uni-trier.de/db/journals/jolli/jolli21.html#MineshimaOT12 %V 21

@article{journals/jolli/MineshimaOT12, added-at = {2020-09-17T00:00:00.000+0200}, author = {Mineshima, Koji and Okada, Mitsuhiro and Takemura, Ryo}, biburl = {https://www.bibsonomy.org/bibtex/2a159260d81a5fb736d7832de27d5e9db/dblp}, ee = {https://doi.org/10.1007/s10849-012-9160-6}, interhash = {ce44d3615235cc5e370d12dbd76d34ad}, intrahash = {a159260d81a5fb736d7832de27d5e9db}, journal = {J. Log. Lang. Inf.}, keywords = {dblp}, number = 3, pages = {365-391}, timestamp = {2020-09-18T11:45:52.000+0200}, title = {A Diagrammatic Inference System with Euler Circles.}, url = {http://dblp.uni-trier.de/db/journals/jolli/jolli21.html#MineshimaOT12}, volume = 21, year = 2012 }