Formisano, Andrea, On the completeness of theory-based variant of resolution, 97-101, 1999,