, ,
Springer
Lecture Notes in Computer Science
Automated deduction

de Nivelle, H. (1998). A resolution decision procedure for the guarded fragment. In Proceedings of Automated deduction 1998 (15) (pp. 191–204). Springer.