@article{CSIS_2013_10_3_a12,
     author = {Tatjana Lutovac and James Harland},
     title = {A {Contribution} to {Automated-oriented} {Reasoning} about {Permutability} of {Sequent} {Calculi} {Rules}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {10},
     number = {3},
     year = {2013},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2013_10_3_a12/}
}