Logically Presented Domains

Erik Palmgren, Viggo Stoltenberg-Hansen

Browse the full LICS paper archive.