An Efficient Derivation for Elementary Formal Systems Based on Partial Unification.

Noriko Sugimoto, Hiroki Ishizaka, Takeshi Shinohara

Browse the full DIS paper archive.