Logic frameworks for logic programs (1994)

by David Basin
Venue:In 4th International Workshop on Logic Program Synthesis and Transformation, (LOPSTR’94