A. Lisitsa

Experimental Mathematics Approach to Gauss Diagrams Realizability pdf

A. Vernitski, A. Khan, A. Lisitsa, 2021, ArXiv.

Reachability as deducibility , finite countermodels and verification

A. Lisitsa, 2009 .