Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
de Nivelle, H. The Resolution Calculus, Alexander Leitsch. Journal of Logic, Language and Information 7, 499–502 (1998). https://doi.org/10.1023/A:1008243203082
Issue Date:
DOI: https://doi.org/10.1023/A:1008243203082