Logic Program Transformation through Generalization Schemata (1996)

by Pierre Flener , Yves Deville
Venue:Proc. LOPSTR'95 , pages 171--173. LNCS 1048
Citations:15 - 7 self