Computing Information Minimal Match Explanations for Logic-Based Matchmaking.

Tommaso Di Noia Eugenio Di Sciascio Francesco M. Donini Computing Information Minimal Match Explanations for Logic-Based Matchmaking. 411-418 2009 IAT http://dx.doi.org/10.1109/WI-IAT.2009.186 conf/iat/2009 db/conf/iat/iat2009.html#NoiaSD09