Reasoning Using Knots.

Thomas Eiter, Magdalena Ortiz, Mantas Simkus

Browse the full LPAR paper archive.