Knowledge Problems vs Unification and Matching: Dichotomy Results.

Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen

Browse the full FSCD paper archive.