Logic program specialisation: How to be more specific (0)

by M Leuschel, D D Schreye
Venue:of Lecture