%0 Journal Article
%A Tatjana Lutovac
%A James Harland
%T A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules
%J Computer Science and Information Systems
%D 2013
%V 10
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2013_10_3_a12/
%F CSIS_2013_10_3_a12