Barbara Morawska

	2009
10		Franz Baader, Barbara Morawska: Unification in the Description Logic EL. Description Logics 2009
9		Franz Baader, Barbara Morawska: Unification in the Description Logic EL. RTA 2009: 350-364
	2007
8		Barbara Morawska: General E -unification with Eager Variable Elimination and a Nice Cycle Rule. J. Autom. Reasoning 39(1): 77-106 (2007)
	2005
7		Christopher Lynch, Barbara Morawska: Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories. RTA 2005: 90-104
	2003
6		Barbara Morawska: Completeness of E-Unification with Eager Variable Elimination. LPAR 2003: 198-212
	2002
5		Christopher Lynch, Barbara Morawska: Basic Syntactic Mutation. CADE 2002: 471-485
4		Christopher Lynch, Barbara Morawska: Automatic Decidability. LICS 2002: 7-
	2001
3		Christopher Lynch, Barbara Morawska: Decidability and Complexity of Finitely Closable Linear Equational Theories. IJCAR 2001: 499-513
2		Christopher Lynch, Barbara Morawska: Complexity of Linear Standard Theories. LPAR 2001: 186-200
1		Christopher Lynch, Barbara Morawska: Goal-Directed E-Unification. RTA 2001: 231-245

Coauthor Index

1	Franz Baader	[9] [10]
2	Christopher Lynch	[1] [2] [3] [4] [5] [7]

Colors in the list of coauthors