An Extension of BDI

Mehdi Dastani, Leendert W. N. van der Torre

Browse the full LPAR paper archive.