Keyword:Disunification

Publications
Unication Problems Modulo a Theory of Until Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly Gero and Paliath Narendran In:UNIF 2013. 27th International Workshop on Unification