@InCollection{Goranko:2020,
author
=
"V.Goranko and T.Skura",
title
=
"Refutation systems in the finite",
pages
=
"169--180",
year
=
"2020",
booktitle
=
"Reasoning: Games, Cognition, Logic ISBN: 9781848903258",
editor
=
"ed. by Mariusz Urbański, Tomasz Skura, Paweł Łupkowski",
publisher
=
"College Publications",
address
=
"Rickmansworth",
series
=
"Studies in Logic, Vol. 83",
}