"Structuring Logic Programs: A Modal Approach."

Laura Giordano, Alberto Martelli (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics