Most specific logic programs (1990)

by K Marriott, L Naish, J-L Lassez
Venue:Annals of Mathematics and Artificial Intelligence