Computing Answers to Logic Programs with Weak Model Elimination.

Marco A. Casanova Ramiro A. de T. Guerreiro Andrea Silva Computing Answers to Logic Programs with Weak Model Elimination. 92-114 1989 NACLP db/conf/slp/slp89.html#CasanovaGS89