Secondary storage management in prolog - Di Mare Hering, Adolfo (Universidad of California, 1900)