Most specific logic programs (1988)

by K Marriott, L Naish, J-L Lassez
Venue:Proc. 5th Int. Conf. Symp. Logic Programming