Automated Reasoning with Restricted Intensional Sets

MLA

Cristiá, Maximiliano, and Gianfranco Rossi. Automated Reasoning with Restricted Intensional Sets. 2019. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.1910.09118&authtype=sso&custid=ns315887.

APA

Cristiá, M., & Rossi, G. (2019). Automated Reasoning with Restricted Intensional Sets.

Chicago

Cristiá, Maximiliano, and Gianfranco Rossi. 2019. “Automated Reasoning with Restricted Intensional Sets.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.1910.09118&authtype=sso&custid=ns315887.