Computing Information Minimal Match Explanations for Logic-Based Matchmaking | IEEE Conference Publication | IEEE Xplore