@article{Gaczyński:2012,
author
=
"A.Gaczyński and J.Tkacz and M.Doligalski",
title
=
"Koncepcja i realizacja systemu wnioskującego Gentzena z wykorzystaniem RDBMS - IBM DB2",
journal
=
"Przegląd Elektrotechniczny",
number
=
"nr 8",
pages
=
"148--151",
year
=
"2012",
}