Keyword:Unification with Abstraction

Publications
Refining Unification with Abstraction Ahmed Bhayat, Konstantin Korovin, Laura Kovacs and Johannes Schoisswohl In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning