Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i Bethovih tablóa : doktorski rad = Algorithmic equivalence of multiple conclusion natural deduction systems and Beth's semantic tableaux method : doctoral thesis - Maretić, Marcel (2013)