How Term Rewriting Structures Shape the Decidability of Knowledge Problems.

Raja O. P. Damanik, Alwen Tiu

Browse the full FSCD paper archive.