@InCollection{Skura:2011,
author
=
"T.Skura",
title
=
"Refutation Systems in Propositional Logic",
pages
=
"115--157",
year
=
"2011",
booktitle
=
"Handbook of Philosophical Logic ISBN: 9789400704794",
editor
=
"ed. by D.M. Gabbay and F. Guenthner",
publisher
=
"Springer",
address
=
"Heidelberg/Dordrecht/New York/London",
volume
=
"Vol. 16",
}