Embedding Minimal Knowledge into Negation as Failure.

Riccardo Rosati Embedding Minimal Knowledge into Negation as Failure. 28-32 1998 ECAI db/conf/ecai/ecai98.html#Rosati98