Logic program schemas, constraints and semiuni (1998)

by E Chasseur, Y Deville
Venue:Proc. of LOPSTR'97, volume 1463 of LNCS