Logic Frameworks for Logic Programs.

David A. Basin Logic Frameworks for Logic Programs. 1-16 1994 conf/lopstr/1994 LOPSTR db/conf/lopstr/lopstr94.html#Basin94