Record Citations

APA Citation

Areces, C. E., Fervari, R. A., Hoffmann, G. E., & Martel, M. (2018). Satisfiability for relation-changing logics.

Chicago Style Citation

Areces, Carlos Eduardo, Raul Alberto Fervari, Guillaume Emmanuel Hoffmann, and Mauricio Martel. Satisfiability for Relation-changing Logics. 2018.

MLA Citation

Areces, Carlos Eduardo, Raul Alberto Fervari, Guillaume Emmanuel Hoffmann, and Mauricio Martel. Satisfiability for Relation-changing Logics. 2018.

Warning: These citations may not always be 100% accurate.

Warning: fopen(/tmp/vufind_sessions/sess_tufkjm4hjd4enjc3f2ptkbffbc): failed to open stream: No space left on device in /usr/local/vufind/module/VuFind/src/VuFind/Session/File.php on line 153
Cannot write session to /tmp/vufind_sessions/sess_tufkjm4hjd4enjc3f2ptkbffbc
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: /var/lib/php/session) in /usr/local/vufind/vendor/zendframework/zend-session/src/SessionManager.php on line 234