Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska
Browse the full CADE paper archive.