@article{Pratt_Hartmann_2022,
    doi = {10.1016/j.apal.2021.103042},
    url = {https://doi.org/10.1016%2Fj.apal.2021.103042},
    year = {2022},
    month = {jan},
    publisher = {Elsevier {BV}},
    volume = {173},
    number = {1},
    pages = {103042},
    author = {Ian Pratt-Hartmann and Lidia Tendera},
    title = {The fluted fragment with transitive relations},
    journal = {Annals of Pure and Applied Logic}
}

@article{Pratt_Hartmann_2022, doi = {10.1016/j.apal.2021.103042}, url = {https://doi.org/10.1016%2Fj.apal.2021.103042}, year = {2022}, month = {jan}, publisher = {Elsevier {BV}}, volume = {173}, number = {1}, pages = {103042}, author = {Ian Pratt-Hartmann and Lidia Tendera}, title = {The fluted fragment with transitive relations}, journal = {Annals of Pure and Applied Logic} }

Library Size: 13G (12942 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge