%0 Journal Article %1 journals/ndjfl/Zakharyaschev94 %A Zakharyaschev, Michael %D 1994 %J Notre Dame J. Formal Log. %K dblp %N 3 %P 450-457 %T A New Solution to a Problem of Hosoi and Ono. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl35.html#Zakharyaschev94 %V 35

@article{journals/ndjfl/Zakharyaschev94, added-at = {2023-09-30T00:00:00.000+0200}, author = {Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2c9081df6c1cb90b1ca8fc9b6c43b0575/dblp}, ee = {https://doi.org/10.1305/ndjfl/1040511350}, interhash = {df431091ead63a1ddc056d24993ecd1d}, intrahash = {c9081df6c1cb90b1ca8fc9b6c43b0575}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 3, pages = {450-457}, timestamp = {2024-04-08T18:22:02.000+0200}, title = {A New Solution to a Problem of Hosoi and Ono.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl35.html#Zakharyaschev94}, volume = 35, year = 1994 }