Submitted on January 6, 2014 to the Notre Dame Journal of Formal Logic Volume ??, Number ??, Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor Franz Baader and Nguyen - Baader - Document - PDFSEARCH.IO

First Page	Meta Content
	Submitted on January 6, 2014 to the Notre Dame Journal of Formal Logic Volume ??, Number ??, Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor Franz Baader and Nguyen Add to Reading List Document Date: 2015-03-20 08:10:31 Open Document File Size: 466,29 KB Share Result on Facebook

Submitted on January 6, 2014 to the Notre Dame Journal of Formal Logic Volume ??, Number ??, Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor Franz Baader and Nguyen Add to Reading List