Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language.

Norbert Heck Jürgen Avenhaus Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language. 210-219 1984 FGCS db/conf/fgcs/fgcs84.html#HeckA84