Authors: Franco, JV Gallo, G Buning, HK Speckenmeyer, E

Citation: Jv. Franco et al., Preface - Special issue of DAM on the Satisfiability Problem, DISCR APP M, 97, 1999, pp. 1-2

Authors: Franco, J Goldsmith, J Schlipf, J Speckenmeyer, E Swaminathan, RP

Citation: J. Franco et al., An algorithm for the class of pure implicational formulas, DISCR APP M, 97, 1999, pp. 89-106