Horn Programs and Semicomputable Relations on Abstract Structures.

John V. Tucker, Jeffery I. Zucker

Browse the full ICALP paper archive.