Term Rewriting that Preserves Models in KR-Logic.

Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama

Browse the full ACIIDS paper archive.