Title: Operationalizing the DLV program
First published: 1993