Defining answer classes using resolution refutation - Burhans, Debra T.; Shapiro, Stuart C. (Journal of Applied Logic, 2007)