Decidability and Complexity of Finitely Closable Linear Equational Theories. - Christopher Lynch; Barbara Morawska 001 (IJCAR, 2001)

Complexity of Linear Standard Theories. - Christopher Lynch; Barbara Morawska 001 (LPAR, 2001)

Goal-Directed E-Unification. - Christopher Lynch; Barbara Morawska 001 (RTA, 2001)

Basic Syntactic Mutation. - Christopher Lynch; Barbara Morawska 001 (CADE, 2002)

Automatic Decidability. - Christopher Lynch; Barbara Morawska 001 (LICS, 2002)

Completeness of E-Unification with Eager Variable Elimination. - Barbara Morawska 001 (LPAR, 2003)

Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories. - Christopher Lynch; Barbara Morawska 001 (RTA, 2005)

General E -unification with Eager Variable Elimination and a Nice Cycle Rule. - Barbara Morawska 001 (J. Autom. Reason., 2007)

Unification in the Description Logic EL is of Type Zero. - Franz Baader; Barbara Morawska 001 (UNIF, 2008)

SAT Encoding of Unification in EL. - Franz Baader; Barbara Morawska 001 (LPAR (Yogyakarta), 2010)

Unification in the Description Logic EL - Franz Baader; Barbara Morawska 001 (Log. Methods Comput. Sci., 2010)

Unification in the Description Logic EL without the Top Concept. - Franz Baader; Thanh Binh Nguyen 003; Stefan Borgwardt; Barbara Morawska 001 (CADE, 2011)

Unification in the Description Logic EL without the Top Concept. - Franz Baader; Thanh Binh Nguyen 003; Stefan Borgwardt; Barbara Morawska 001 (Description Logics, 2011)

Computing Local Unifiers in the Description Logic EL without the Top Concept. - Franz Baader; Nguyen Thanh Binh 003; Stefan Borgwardt; Barbara Morawska 001 (UNIF, 2011)

Computing Minimal EL-unifiers is Hard. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Advances in Modal Logic, 2012)

A Goal-Oriented Algorithm for Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Australasian Conference on Artificial Intelligence, 2012)

SAT Encoding of Unification in ℇℒℋR+ w.r.t. Cycle-Restricted Ontologies. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (IJCAR, 2012)

Recent Advances in Unification for the EL Family. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (UNIF, 2012)

UEL: Unification Solver for the Description Logic ℇℒ - System Description. - Franz Baader; Julian Mendez 002; Barbara Morawska 001 (IJCAR, 2012)

A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Description Logics, 2012)

UEL: Unification Solver for EL. - Franz Baader; Stefan Borgwardt; Julian Mendez 002; Barbara Morawska 001 (Description Logics, 2012)

Extending Unification in EL Towards General TBoxes. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (KR, 2012)

Finding Finite Herbrand Models. - Stefan Borgwardt; Barbara Morawska 001 (LPAR, 2012)

Hybrid EL-Unification is NP-complete. - Franz Baader; Oliver Fernandez Gil; Barbara Morawska 001 (Description Logics, 2013)

Hybrid Unification in the Description Logic. - Franz Baader; Oliver Fernandez Gil; Barbara Morawska 001 (FroCos, 2013)

Hybrid Unification in the Description Logic EL. - Franz Baader; Oliver Fernandez Gil; Barbara Morawska 001 (UNIF@RTA/TLCA, 2013)

Matching with Respect to General Concept Inclusions in the Description Logic EL. - Franz Baader; Barbara Morawska 001 (Description Logics, 2014)

Matching with Respect to General Concept Inclusions in the Description Logic EL. - Franz Baader; Barbara Morawska 001 (KI, 2014)

Dismatching and Local Disunification in EL (Extended Abstract). - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Description Logics, 2015)

Dismatching and Local Disunification in EL. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (RTA, 2015)

Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification. - Franz Baader; Stefan Borgwardt; Barbara Morawska 001 (Log. Methods Comput. Sci., 2016)

Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor. - Franz Baader; Thanh Binh Nguyen 003; Stefan Borgwardt; Barbara Morawska 001 (Notre Dame J. Formal Log., 2016)

Unification in FL0 Modulo a Flat TBox. - Barbara Morawska 001 (Description Logics, 2020)

Unification in the Description Logic FL⊥. - Barbara Morawska 001 (Description Logics, 2021)