On the average case analysis of some satisfiability model problems. - Khaled M. Bugrara; Cynthia A. Brown (Inf. Sci., 1986)

An Exponential Lower Bound for the Pure Literal Rule. - Khaled M. Bugrara; Paul Walton Purdom Jr. (Inf. Process. Lett., 1988)

Exponential Average Time for the Pure Literal Rule. - Khaled M. Bugrara; Youfang Pan; Paul Walton Purdom Jr. (SIAM J. Comput., 1989)

Enhancing Inter-Operability and Data Sharing In Medical Information Systems. - Dhamir N. Mannai; Khaled M. Bugrara (SIGMOD Conference, 1993)

Average Time Analysis of Clause Order Backtracking. - Khaled M. Bugrara; Paul Walton Purdom Jr. (SIAM J. Comput., 1993)