Bodirsky, M., Kozik, M., Madelaine, F., Martin, B., & Wrona, M. (2024). Model-checking positive equality free logic on a fixed structure (direttissima).
Chicago Style (17th ed.) CitationBodirsky, Manuel, Marcin Kozik, Florent Madelaine, Barnaby Martin, and Michal Wrona. Model-checking Positive Equality Free Logic on a Fixed Structure (direttissima). 2024.
MLA (9th ed.) CitationBodirsky, Manuel, et al. Model-checking Positive Equality Free Logic on a Fixed Structure (direttissima). 2024.
Warning: These citations may not always be 100% accurate.