Automated reasoning for modal logics: a natural deduction based approach. - Pablo Javier De La Quintana Brüggemann (1989)