Exportar referência
APA
Filipe Casal, João Rasga, (2017). Many-Sorted Equivalence of Shiny and Strongly Polite Theories. Journal of Automated Reasoning, 60, 221-236. ISSN 0168-7433. eISSN . http://dx.doi.org/10.1007/s10817-017-9411-y
IEEE
Filipe Casal, João Rasga, "Many-Sorted Equivalence of Shiny and Strongly Polite Theories" in Journal of Automated Reasoning, vol. 60, pp. 221-236, 2017.
10.1007/s10817-017-9411-y
BIBTEX
@article{37973,
author = {Filipe Casal and João Rasga},
title = {Many-Sorted Equivalence of Shiny and Strongly Polite Theories},
journal = {Journal of Automated Reasoning},
year = 2017,
pages = {221-236},
volume = 60
}