An Exchange Format for Modular Knowledge.

Florian Rabe, Michael Kohlhase

Browse the full LPAR paper archive.