Evaluating Logic Programs via Set-Valued Functions.

Carlo Cecchi Dario Sartini Luigia Carlucci Aiello Evaluating Logic Programs via Set-Valued Functions. 428-455 1987 ICLP db/conf/iclp/iclp87.html#CecchiSA87