A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes. - Novak Novakovic (JELIA, 2008)

Sémantique algébrique des ressources pour la logique classique. (Algebraic resource semantics for classical logic). - Novak Novakovic (2011)

On the Power of Substitution in the Calculus of Structures. - Novak Novakovic; Lutz Straßburger (ACM Trans. Comput. Log., 2015)