G. Smolka

• Logic Programming over Polymorphically Order-Sorted Types