The method of synthesis of derivability conditions for Horn formulas and some other formulas | IEEE Conference Publication | IEEE Xplore