Beta assertive graphs : proofs of assertions with quantificationBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied logics : IfCoLog journal of logics and their applications2021 / 23 p. : ill https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Conjectures and abductive reasoning in gamesPietarinen, Ahti-VeikkoJournal of applied logics : IfCoLog journal of logics and their applications2018 / p. 1121-1143 https://doi.org/10.13140/RG.2.2.32685.18409