Partial evaluation for hierarchies of logic theories

• Authors:

• Michele Bugliesi;Evelina Lamma;Paola Mello

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 1990 North American conference on Logic programming
• Year:
• 1990