https://hal.inria.fr/inria-00000336
Contributor : Areces Carlos <>
Submitted on : Friday, September 23, 2005 - 5:49:36 PM Last modification on : Friday, September 23, 2005 - 5:49:36 PM
Identifiers
HAL Id : inria-00000336, version 1
Citation
C. Areces, H. de Nivelle, M. de Rijke. Resolution in Modal, Description and Hybrid Logic. Journal of Logic and Computation, Oxford University Press (OUP), 2001, Journal of Logic and Computation, 11 (5), pp.717-736. ⟨inria-00000336⟩