Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types.

Emmanuil I. Marakakis, John P. Gallagher

Browse the full LOPSTR paper archive.