References
Grigore Roşu
(2000-2009)
XComplete categorical deduction for satisfaction as injectivity
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
(2000-2009)
X2006
in: Algebra, meaning, and computation, Dordrecht : Springer