Sonic - Non-standard Inferences Go OilEd.

Anni-Yasmin Turhan, Christian Kissig

Browse the full CADE paper archive.