Nominals for Everyone.

Lutz Schrder, Dirk Pattinson, Clemens Kupke

Browse the full IJCAI paper archive.