A Study of Generalisation in Logic Programs.

Tim Niblett A Study of Generalisation in Logic Programs. 131-138 1988 EWSL db/conf/ecml/ewsl88.html#Niblett88