@article{10.1305/ndjfl/1040067318,
    Author = {Purdy, William C.},
    File = {Decidability of Fluted Logic with Identity - 1040067318 - z.pdf},
    Journal = {Notre Dame Journal of Formal Logic},
    Number = {1},
    Pages = {84 -- 104},
    Publisher = {Duke University Press},
    Title = {{Decidability of Fluted Logic with Identity}},
    URL = {https://doi.org/10.1305/ndjfl/1040067318},
    Volume = {37},
    Year = {1996},
    bdsk-url-1 = {https://doi.org/10.1305/ndjfl/1040067318},
    date-added = {2021-03-18 16:00:03 +0100},
    date-modified = {2021-03-18 16:00:03 +0100},
    doi = {10.1305/ndjfl/1040067318}
}

@article{10.1305/ndjfl/1040067318, Author = {Purdy, William C.}, File = {Decidability of Fluted Logic with Identity - 1040067318 - z.pdf}, Journal = {Notre Dame Journal of Formal Logic}, Number = {1}, Pages = {84 -- 104}, Publisher = {Duke University Press}, Title = {{Decidability of Fluted Logic with Identity}}, URL = {https://doi.org/10.1305/ndjfl/1040067318}, Volume = {37}, Year = {1996}, bdsk-url-1 = {https://doi.org/10.1305/ndjfl/1040067318}, date-added = {2021-03-18 16:00:03 +0100}, date-modified = {2021-03-18 16:00:03 +0100}, doi = {10.1305/ndjfl/1040067318} }