UNIF 2012: Author Index

Author	Papers
B
Baader, Franz	Recent Advances in Unification for the EL Family
Borgwardt, Stefan	Recent Advances in Unification for the EL Family
Bouchard, Christopher	Some Notes on Basic Syntactic Mutation
E
Erbatur, Serdar	The use of types in designing unification algorithms: two case studies
Escobar, Santiago	The use of types in designing unification algorithms: two case studies
G
Gero, Kimberly	Some Notes on Basic Syntactic Mutation
L
Libal, Tomer	Bounded Higher-order Unification using Regular Terms
M
Morawska, Barbara	Recent Advances in Unification for the EL Family
N
Narendran, Paliath	The use of types in designing unification algorithms: two case studies Some Notes on Basic Syntactic Mutation