Ibaraki, Toshihide; Kogan, Alexander; Makino, Kazuhisa Functional dependencies in Horn theories. (English) Zbl 0914.68185 Artif. Intell. 108, No. 1-2, 1-30 (1999). MSC: 68T30 PDFBibTeX XMLCite \textit{T. Ibaraki} et al., Artif. Intell. 108, No. 1--2, 1--30 (1999; Zbl 0914.68185) Full Text: DOI
Ibaraki, Toshihide; Kameda, Tsunehiko; Toida, Shunichi On minimal test sets for locating single link failures in networks. (English) Zbl 0455.94048 IEEE Trans. Comput. 30, 182-190 (1981). MSC: 94C15 68Q25 PDFBibTeX XMLCite \textit{T. Ibaraki} et al., IEEE Trans. Comput. 30, 182--190 (1981; Zbl 0455.94048) Full Text: DOI