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. In NACLP. pages 92-114, 1989.

Abstract

Abstract is missing.