On a Sufficient Condition for the Existence of Most Specific Hypothesis in Progol.

Koichi Furukawa Tomoko Murakami Ken Ueno Tomonobu Ozaki Keiko Shimazu On a Sufficient Condition for the Existence of Most Specific Hypothesis in Progol. 157-164 1997 conf/ilp/1997 ILP db/conf/ilp/ilp97.html#FurukawaMUOS97