On the complexity of reasoning with negation as failure (1996)

by Riccardo Rosati
Venue:In Proc. Workshop on deductive databases and logic programming (DDLP-96