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

Emmanuil I. Marakakis John P. Gallagher Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. 138-153 1994 conf/lopstr/1994 LOPSTR db/conf/lopstr/lopstr94.html#MarakakisG94