Authors: Sofronie-Stokkermans, V

Citation: V. Sofronie-stokkermans, Resolution-based theorem proving for SHn-logics, LECT N A I, 1761, 2000, pp. 267-281