Towards Answer Set Programming with Sorts.

Evgenii Balai, Michael Gelfond, Yuanlin Zhang

Browse the full LPNMR paper archive.