Abstract is missing.
- Unification and Anti-unification modulo Equational TheoriesSantiago Escobar. 1 [doi]
- Anti-Unification: Algorithms and ApplicationsTemur Kutsia. 2 [doi]
- Detecting Modular ACU Structural SymmetriesMarĂa Alpuente, Santiago Escobar, Javier Espert. 3-7 [doi]
- Hybrid Unification in the Description Logic ELFranz Baader, Oliver Fernandez Gil, Barbara Morawska. 8-12 [doi]
- Unranked Anti-Unification with Hedge and Context VariablesAlexander Baumgartner, Temur Kutsia. 13-21 [doi]
- Unication Problems Modulo a Theory of UntilShreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran. 22-29 [doi]
- Hierarchical Combination of Unication Algorithms (Extended Abstract)Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. 30-34 [doi]
- Is it possible to unify sequential programs?Tatiana Novikova, Vladimir Zakharov. 35-45 [doi]