Hans de Nivelle
Bibliography
Blackburn, Patrick, Bos, Johan, Kohlhase, Michael and Nivelle, Hans de. 1999. “Inference and Computational Semantics.” in (IWCS–3) Third International Workshop on Computational Semantics, edited by Harry C. Bunt and Elias C. C. Thijsse, pp. 5–21. Delft: Tilburg University Press.
Nivelle, Hans de. 1998. “Review of Leitsch (1997).” Journal of Logic, Language, and Information 7(4): 499–502.
Further References
Leitsch, Alexander. 1997. The Resolution Calculus. New York: Springer.