PERS - System Informacji o Pracownikach

@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",
}