"Extended Well-Founded Model Semantics for General Logic Programs."

Yong Hu, Li-Yan Yuan (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics